Proof Techniques for Hierarchically Structured Programs. - Robinson, Lawrence; Levitt, Karl N.; Manacher, G.; Graham, S.L. (Communications of the ACM, 1977)