Handbook of theoretical computer science - Leeuwen, J. van (Jan) (Elsevier : MIT Press, 1992)