Modelling a Distributed Cached Store for Garbage Collection: The Algorithm and Its Correctness Proof - Ferreira, P.; Shapiro, M. (LECTURE NOTES IN COMPUTER SCIENCE, 1998)