TY - BOOK AU - Bauer, Friedrich L TI - Logic and algebra of specification U1 - 515.3 B326L PY - 1993/// CY - Berlin PB - Springer-Verlag ER -