1. C.A. Albayrak. Vergleichende Gegenüberstellung der Parameterübergabemechanismen Call-by-name und Call-by-value im Rahmen funktionaler Programme. Master's thesis, Aachen Univ. of Technology, March 1993. In German.
2. J.W. de Bakker. Least fixed points revisited. Theoretical Computer Science, 2:155–181, 1976.
3. S. Brown, D. Gries, and T. Szymanski. Program schemes with pushdown stores. SIAM Journal on Computing, 1:242–268, 1972.
4. J.M. Cadiou. Recursive Definitions of Partial Functions and their Computations. PhD thesis, Stanford University, 1972.
5. R.L. Constable and D. Gries. On classes of program schemata. SIAM Journal on Computing, 1:66–118, 1972.