Algorithmen und rekursive Funktionen - Malʹcev, Anatolij I. 1909-1967 (Vieweg, 1974)
Aus dem Russ. übers.