Fundamentals of algebraic specification - Ehrig, Hartmut 1944-2016; Mahr, Bernd (Springer, 1985)