A general Theory of optimal algorithms - Woźniakowski, H.