Correctness preserving program refinements: proof theory and applications (1980)

by R J R Back
Venue:Mathematica! Centre Tracts 131, Mathematisch Centrum