TY  - BOOK
AU  - Ehrig,Hartmut
AU  - Mahr,Bernd
TI  - Fundamentals of algebraic specification
T2  - EATCS monographs on theoretical computer science
SN  - 0387137181 (U.S. : v. 1)
U1  - 001.64/2 19
PY  - 1985///-
CY  - Berlin, New York
PB  - Springer-Verlag
KW  - Data structures (Computer science)
KW  - Algebra
N1  - Includes bibliographies and indexes; Vol. 1 (1985; xi, 321 p.); Equations and initial semantics
ER  -