The Way of Z Practical Programming with Formal Methods

A self-contained tutorial on Z for working programmers discussing practical ways to apply formal methods in real projects, first published in 1997.