Z: An introduction to formal methods (2 nd (1994)

by A Diller