FORMAL METHODS IN ARTIFICIAL INTELLIGENCE - DELAHAYE,JEAN-PAUL (NOA, 1987)