Handbook of theoretical computer science. Volume A, Algorithms and complexity - Leeuwen, Jan van (Elsevier, 1990)