PROGRAMS,MACHINES AND COMPUTATION: INTRODUCTION TO THEORY OF COMPUTING - CLARK,KEITH, COWELL,DON (MH LONDON, 1976)