TY - BOOK AU - Ehrig, H (et-al) TI - Fundamentals of algebraic specification 2:Module Specification and Constraints:Monographs on Theoretical computer science SN - 0003540517995 U1 - 005.73 PB - Springer: Tokyo KW - data structures : algebra ER -