Fundamentals of Algebraic Specifications 2: Module Specification and Constraints | DealShopping France