Handbook of theoretical computer science - Leeuwen, J. van (Jan) (Amsterdam ; New York : Elsevier ; Cambridge, Mass. : MIT Press, 1990)
v. A. Algorithms and complexity -- v. B. Formal models and semantics .
Includes bibliographical references and indexes.
Keywords: Computer science