Formal Specification using Z, Bottaci and Jones (electronic text)
Last update: Mon Oct 20 15:01:54 1997 (cph)