Kai Li Paul Hudak Memory Coherence in Shared Virtual Memory Systems. 321-359 1989 7 ACM Trans. Comput. Syst. 4 http://doi.acm.org/10.1145/75104.75105 db/journals/tocs/tocs7.html#LiH89