Correctness Preserving Program Transformations (1980)

by R Back
Venue:Proof Theory and Applications, Volume 131 of Mathematical Centre Tracts. Mathematical