Handbook of theoritical computer science - Leeuwen, Van J. (Elsevier, 1990)
Contents: v.A. Algorithms and complexity - v.B. Formal models andsemantics.