Fundamentals of algebraic specification : MODULE SPACIFICATIONS AND CONSTRAINTS. 2. - Ehrig, Hartmut (Eatcs Monographs on Theoretical Computer Science / Springer Verlag, 1990)