Weiwu Hu, Weisong Shi, Zhimin Tang: A framework of memory consistency models. J. Comput. Sci. Technol. 13(2): 110-124 (1998)