TY - BOOK AU - Greenlaw, Raymond and Hoover, James TI - Fundamentals of the Theory computation PB - Morgan Kaufman KW - Computer Science ER -