Fundamentals of algebraic specification 1: equations and initial semantics - Ehrig, Hartmut (Springer Verlag, 1985)