A Tutorial on Proof in Standard Z (Programming Research Group‚ Oxford University Computing Laboratory, 1995)

(untitled) - Brien, S; Martin, A