ALGORITHMS AND AUTOMATIC COMPUTING MACHINES - Trakhtenbrot, B.A. (C. Heath And Company, 1963)