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