R e p r i n t s from C o m p u t i n g R e v i e w s I Joel Seiferas Computer Science D e p a r t m e n t University of Rochester Rochester, NY 14627-0226 j o e l e c s , r o c h e s t e r , edu As a service to our readers, SIGACT 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 $41 per year by writing to ACM headquarters. DE BAKKEK, JACO; AND DE VINK, EI:UK Control Flow Semantics. M I T Press, Cambridge, MA, 1996, 564 pp., $50, ISBN 0-262-04154-5. [MIT foundations of computing series.] This ambitious book introduces complete metric spaces for treating the semantics of no less t h a n 27 p r o g r
/lp/association-for-computing-machinery/reprints-from-computing-reviews-rHHYMXev7t