This is an unofficial reimagining of the Archive of Formal Proofs
A Reduction Theorem for Store Buffersby Ernie Cohen and Norbert Schirmer