1. Büchi, J.R.: Regular canonical systems Arch. Math. Logik Grundlagenforschung 14(1961), 143–172
2. Ginsburg, S., Greibach S.A. and Harrison, M.A.: Stack automata and compiling, J. ACM 14,1 (Jan. 1967), 172–201
3. Koster, C.H.A.: On infinite modes, ALGOL Bulletin AB 30.3.3, Feb. 1969, pp. 61–69
4. Langmaack, H.: On correct procedure parameter transmission in higher programming languages, Acta Informatica, Vol. 2, 1973
5. Langmaack, H.: On procedures as open subroutines, Bericht A 73/04, Institut für Angew. Math. und Informatik der Univ. des Saarlandes