Weikum, Gerhard Databases and Information Systems, MPI for Informatics, Max Planck Society;
O'Neil, E. J., O'Neil, P. E., & Weikum, G. (1999). An Optimality Proof of the LRU-K Page Replacement Algorithm. Journal of the ACM, 46(1), 92-112. Retrieved from http://portal.acm.org/citation.cfm?doid=300515.300518.