Correctness Preserving Program Refinements: Proof Theory and Applications (1980)

by R J R Back
Venue:Mathematical Center Tracts 131, Mathematical