Formal methods in artificial intelligence / - Delahaye, Jean-Paul. (Wiley, 1987)