Wolfram-Manfred Lippe. Über die Entscheidbarkeit der formalen Erreichbarkeit von Prozeduren bei monadischen Programmen. In Hans Jürgen Schneider, Manfred Nagl, editors, Programmiersprachen, 4. Fachtagung der GI, Erlangen, 8.-10. März 1976, Proceedings. Volume 1 of Informatik-Fachberichte, pages 124-134, Springer, 1976.
Abstract is missing.