TY - BOOK AU - Leeuwen, Jan Van. TI - Handbook of theoretical computer science. Vol A & B SN - 0444880755 U1 - 004 PY - 1990/// CY - Amsterdam PB - Elsevier N1 - Vol. A: Algorithms and complexity, Vol. B: Formal models and semantics ER -