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