Caching Algorithms and Rational Models of Memory
Outperforming LRU with an adaptive replacement cache algorithm