Fundamentals of algebraic specification - Ehrig H; Mahr B (Berlin Springer-Verlag, 1985)