Mašinnyj podchod k rešeniju matematičeskich zadač - Nievergelt, Jurg; Reingold, Edward M.; Farrar, J. Craig (Sovremennaja matematika. Vvodnyje kursy, 1977)