Fundamentals of Algebraic Specification 1
Subtitle: Equations and Initial Semantics
Publisher: Springer
Published: 1985-04-19
ISBN-13: 9783540137184