Fundamentals of algebraic specification 2 : module specifications and constraints. - Springer Verlag, 1990. - ( EATCS Monographs on Theoretical Computer Science ; 21).