Handbook of theoritical computer science - Leeuwen, Van J. (Elsevier, 1990)