Fundamentals of algebraic specification - Ehrig, Hartmut 1944-2016; Mahr, Bernd (European Association for Theoretical Computer Science: EATCS monographs on theoretical computer science, 1990)