Handbook of theoretical computer science : formal models and semantics : volume B - Leeuwen, Jan van (Elsevier ; The MIT Press [i.e.] Massachusetts Institute of technology, 1998)