You are about to access our book library "Logic and Algebra of Specification: Proceedings of the NATO Advanced Study Institute on Logic and Algebra of Specification, Held in Markoberdorf, Germany, ... 4, 1991 (NATO ASI Subseries F: Book 94) full version" .