Trakhtenbrot, B. A. Los algoritmos y la resolucion automatica de problemas. - [1st ed.] - Moscou: MIR, 1977. - 109 p. - Lecciones populares de matemáticas. . Dewey Class. No.: 510 / T768a