Elements of the Theory of Computation - Harry R Levis; Christos H Papamitriov (PHI, 2000)