ELEMENTS OF THE THEORY OF COMPUTATION - MITRIOU, C.H. (P.H.I, 1981)