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