Benjamin Van Roy A short proof of optimality for the MIN cache replacement algorithm. 72-73 2007 102 Inf. Process. Lett. 2-3 http://dx.doi.org/10.1016/j.ipl.2006.11.009 db/journals/ipl/ipl102.html#Roy07