Wolfgang W. Bein Lawrence L. Larmore Rüdiger Reischuk Knowledge States for the Caching Problem in Shared Memory Multiprocessor Systems. 167-183 2009 20 Int. J. Found. Comput. Sci. 1 http://dx.doi.org/10.1142/S0129054109006504 db/journals/ijfcs/ijfcs20.html#BeinLR09