Fundamentals of algebraic specification 1: equations and initial semantics - Ehrig, Hartmut (Eatcs Monographs on Theoretical Computer Science / Springer Verlag ;, 1985)