Logic and algebra of specification : proceedings - Bauer F L; NATO Advanced Study Institute on Logic and Algebra of Specification( 11th : 1991 : Germany ); NATO Advanced Study Institute on Logic and Algebra of Specification 11th , Germany 1991 (Berlin Springer Verlag, 1993)
Keywords: Algebra; Computer science