Lewis, Harry R. Elements of the theory of computation / Lewis, Harry R., Papadimitriou, Christos H. Dewey Class. No.: 511 L585E