Fundamentals of algebraic specification 1 ; Equations and initial semantics. - Springer Verlag, 1985. - ( EATCS Monographs on Theoretical Computer Science ; 6).