On correct refinement of programs (1979)

by R J R Back
Venue:Journal of Computer and System Sciences