Formal methods in artificial intelligence - Delahaye, Jean-Paul (North Oxford Academic, 1987)