TY - BOOK AU - Moret B. M. TI - The theory of computation CY - NULL KW - COMPUTER ER -