Wolfram-Manfred Lippe. Entscheidbarkeitsprobleme bei der Übersetzung von Programmen mit einparametrigen Prozeduren. In Bodo Schlender, Wolfgang Frielinghaus, editors, 3. Fachtagung über Programmiersprachen, Gesellschaft für Informatik, Kiel, 5.-7. März 1974, Proceedings. Volume 7 of Lecture Notes in Computer Science, pages 13-24, Springer, 1974.