Algorithm design for computer system design - Ausiello, Giorgio (Springer Verlag, 1984)