1. D. Armbruster: A Polynomial Determination of the Most-Recent Property. Theoretical Computer Science 56, 3–15, 1988.
2. D. Armbruster: Entscheidbarkeit und Bestimmung der Rekursivität von Prozeduren. Dissertation, University of Stuttgart, 1985.
3. ISO/TC79/SC5N: Specification for Computer Language Pascal. Third draft proposal, 1981-11-04.
4. H. Langmaack: On Correct Procedure Parameter Transmission in Higher Programming Languages. Acta Informatica 2, 110–142, 1973.
5. A. R. Meyer: Complexity of Program Flow Analysis for Strictness..., private comminication, August 1985.