TY - BOOK AU - Lewis, H. R. TI - Elements of the theory of computation ER -