NATO Advanced Study Institute on Logic and Algebra of Specification (1991 Marktoberdorf, Germany)