An introduction to formal specification with Z and VDM /
Sheppard, Deri.
London : McGraw-Hill,
c1995.