218 Using the Engineering Literature, Second Edition
professionals and students with a comprehensive overview of the main results and develop-
ments in this rapidly evolving eld. Volume A covers models of computation, complexity
theory, data structures, and efcient computation in many recognized subdisciplines of theo-
retical computer science. Volume B takes up the theory of automata and rewriting systems,
the foundations of modern programming languages, and logics for program specication and
verication, and presents several studies on the theoretic modeling of advanced information
processing. The two volumes comprise 37 chapters, with extensive chapter references and
individual tables of contents for each chapter. The editor points o