Handbook of theoretical computer science - v.A algorithms and complexity - Leeuwen, Jan Van., ed. (Amsterdam Elsevier publications, 1990)