Schwartzbach, M. I. Static Correctness of Hierarchical Procedures. DPB 1989, 18.