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

by R-J Back
Venue:Mathematical Centre Tracts