thesis: Add paper that proves LRU-K is optimal