Ehrig, Hartmut. Fundamentals of algebraic specification V.1 H. Ehrig, B. Mahr. - Berlin ; New York : Springer-Verlag, c1985- - v.1 ill. ; - EATCS monographs on theoretical computer science ; v. 6, 21 . V.1;- Equations and initial semantic ISBN: 0387137181 (U.S. : v. 1) Subjects--Topical Terms: Data structures (Computer science)Algebra. Universal Decimal Class. No.: 512.55 / EHR.1