HANDBOOK OF THEORETICAL COMPUTER SCIENCE - Leeuwen, Jan Van (Amsterdam Elsevier, 1990)
Contents: V.A. Algorithms And Complety. -- V.B. Formal Models And Semantics
Keywords: Computer Science