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

by R J Back
Venue:Volume 131 of Mathematical Centre Tracts, Mathematisch Centrum, Amtserdam