TY - BOOK AU - Leeuwen, J. van TI - Handbook of theoretical computer science SN - 0444880755 (U.S. : set) U1 - 004 20 PY - 1990/// CY - Amsterdam, New York, Cambridge, Mass. PB - Elsevier, MIT Press KW - Computer science N1 - Includes bibliographical references and indexes; v. A. Algorithms and complexity -- v. B. Formal models and semantics ER -