Algoritmy i rekursionyje funkcii - Maľcev, Anatolij Ivanovič (Nauka, 1986)