A Tutorial on Proof in Standard Z - Brien, S; Martin, A (Programming Research Group‚ Oxford University Computing Laboratory, 1995)