Handbook of theoretical computer science. - Leeuwen, Jan van, 1946- (Elsevier, 1990)