Using Z: Specification (1996)

by J Woodcock, J Davies
Venue:Refinement, and Proof, PrenticeHall, Inc