Foundations of Algebraic Specification and Formal Software Development | DealShopping Deutschland