On correct refinement of programs (1981)

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