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