Correctness Preserving Program Renements (1980)

by R J R Back
Venue:Mathematical Centre Tracts #131, Mathematisch Centrum