Entscheidbarkeit und Bestimmung der Rekursivität von Prozeduren in Pascal-ähnlichen Programmen | lit.salon