Algoritmy i rekursivnyje funkcii - Mal‘cev, Anatolij Ivanovič, 1909-1967 (Nauka, 1986)