Hou, G. , Yu, L. , Zhuang, W. , Qin, H. , Yang, X. (2015). 'Formal Verification of Cache System Using a Novel Cache Memory Model'. World Academy of Science, Engineering and Technology, Open Science Index 99, International Journal of Electronics and Communication Engineering, 9(3), 721 - 724.