Fundamentals of Algebraic Specifications 2: Module Specification and Constraints - Hartmut Ehrig et Bernd Mahr