Caching Algorithms and Rational Models of Memory
An optimality proof of the LRU-K page replacement algorithm