M. I. Schwartzbach, “Static Correctness of Hierarchical Procedures”, DPB, vol. 18, no. 295, Nov. 1989.