Algorithms and automatic computing machines. - Trakhtenbrot, B. A. (Boris Avraamovich) (Topics in mathematics, 1963)