Entscheidbarkeit und Bestimmung der Rekursivität von Prozeduren in Pascal-ähnlichen Programmen - Armbruster, Dieter (1985)