Fundamentals of algebraic specification : MODULE SPACIFICATIONS AND CONSTRAINTS. 2. - Ehrig, Hartmut; Mahr, Bernd (Berlin : Springer Verlag, 1990)