@techreport{CCK13, AUTHOR = {Chen, G. and Cohen, E. and Kovalev, M. },TITLE = {Store Buffer Reduction with MMUs: Complete Paper-and-pencil Proof},YEAR = {2013},URL = {http:///publikationen/CCK13.pdf}, }