TY  - BOOK
AU  - Bauer F L
ED  - NATO Advanced Study Institute on Logic and Algebra of Specification( 11th : 1991 : Germany )
ED  - NATO Advanced Study Institute on Logic and Algebra of Specification 11th
TI  - Logic and algebra of specification : proceedings
U1  - 5.115 
PY  - 1993///
CY  - Berlin
PB  - Springer Verlag
KW  - Algebra
KW  - Computer science
ER  -