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