Specification and Transformation of Programs: A Formal Approach to Software Development (Springer Texts in Electrical Engineering) | DealShopping Deutschland