Programmsynthese allgemein-rekursiver Funktionen mit beschränktem Stabilisierungstakt Formalisierungsmöglichkeiten deskriptiver Arbeitsbereiche - Popova-Zeugmann, Louchka (Forschungsinformation des Organisation und Rechenzentrums HFÖ-ORZ 82. 03, 1982)