On correct refinement of programs (1981)

by R-J Back
Venue:J. Comput. Syst. Sci