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