Proof techniques for hierarchically structured programs (1977)

by L Robinson, K N Levitt
Venue:Communications of the ACM