A tutorial of proof in standard Z (1996)

by S Brien, A Martin
Venue:Programming Research Group, Oxford University Computing Laboratory