Schwartzbach, Michael I. 1989. “Static Correctness of Hierarchical Procedures”. DAIMI Report Series 18 (295). https://doi.org/10.7146/dpb.v18i295.6689.