Algorithsm and theory of computation hand book (Boca Raton CRG Press, 1998)