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