Algorithmen und rekursive Funktionen Algoritmy i rekursivnye funkcii - Mal'cev, Anatolij Ivanovič (Logik und Grundlagen der Mathematik, 1974)