Reprint f r o m C o m p u t i n g R e v i e w s Michael C. Loui C o o r d i n a t e d Science L a b o r a t o r y University of Illinois at U r b a n a - C h a m p a i g n m-loui@uiuc, edu As a service to our readers, S I G A C T News has an agreement with Computing Reviews to reprint reviews of books and articles of interest to the theoretical computer science community. Computing Reviews is a monthly journal that publishes critical reviews on a broad range of computing subjects, including models of computation, formal languages, computational complexity theory, analysis of algorithms, and logics and semantics of programs. ACM members can receive a subscription to Computing Reviews for $40 per year by writing to ACM headquarters. DAVIS, M A R T I N D.; SIGAL, RON; A N D W E Y U K E R , ELAINE J. Computability, complexity, and languages (2nd ed.): fundamentals of theoretical computer science. A c a d e m i c Press
/lp/association-for-computing-machinery/reprint-from-computing-reviews-71zB05Uq52