Handbook of theoritical computer science - Leeuwen, Van J. (Amsterdam: Elsevier, 1990)
Contents: v.A. Algorithms and complexity - v.B. Formal models andsemantics.
Includes bibliographical regerences & index.
Keywords: Computer science