Fundamentals of algebraic specification V.2 - Ehrig, Hartmut (EATCS monographs on theoretical computer science, 1985)