Using Z: Specification (1996)

by J Woodcock, J Davies
Venue:Refinement, and Proof. Series in Computer Science