Schwartzbach, M. I. “Static Correctness of Hierarchical Procedures”. DAIMI Report Series, vol. 18, no. 295, Nov. 1989, doi:10.7146/dpb.v18i295.6689.