Formal methods in artificial intelligence - Ramsay, Allan (Cambridge : Cambridge University Press, 1988)