Specification and Transformation of Programs
Subtitle: A Formal Approach to Software Development
ISBN-13: 9780387525891