TY - BOOK AU - Ehrig H AU - Mahr B TI - Fundamentals of algebraic specification T2 - EATCS monographs on theoretical computer science; 6 U1 - B2, M5 PY - 1985/// CY - Berlin PB - Springer-Verlag ER -