Software development with Z: a practical approach to formal methods in software engineering - Wordsworth, J. B. (International computer science series, 1992)