Another short proof of optimality for the MIN cache replacement algorithm
scientific article; zbMATH DE number 5694936