Specification and Transformation of Programs: A Formal Approach to Software Development (Monographs in Computer Science) | DealShopping Deutschland