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