Jan van Leeuwen Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics Elsevier and MIT Press 1990 0-444-88074-7 0-262-22039-3 db/books/collections/leeuwen90a.html