Formal Methods in Artificial Intelligence - J P Delahaye (North Oxford Academic Publishers, 1987)