Traub, Joseph F.: A general theory of optimal algorithms. New York : Acad. Pr., 1980