Handbook of theoretical computer science (Elsevier u.a., 1992)