Abraham Mendelson Dominique Thiébaut Dhiraj K. Pradhan Modeling of Live Lines and True Sharing in Multi-Cache Memory Systems. 326-330 1990 conf/icpp/1990-1 ICPP (1) db/conf/icpp/icpp90-1.html#MendelsonTP90