@inproceedings(abdulla,
 author       = {P. A. Abdulla and S. Aronis and M. F. Atig and B. Jonsson and C. Leonardsson and K. Sagonas},
 year         = {2015},
 title        = {Stateless Model Checking for {TSO} and {PSO}},
 editor       = {C. Baier and C. Tinelli},
 booktitle    = {Proc.\ of 21st Int.\ Conf.\ on Tools and Algorithms for the Construction and Analysis of Systems, TACAS~2015},
 series       = {Lect.\ Notes in Comput.\ Sci.},
 volume       = {9035},
 publisher    = {Springer},
 pages        = {353--367},
 doi          = {10.1007/978-3-662-46681-0\_28},
)
@phdthesis(alglave,
 author       = {J. Alglave},
 year         = {2010},
 title        = {A Shared Memory Poetics},
 school       = {Universit{\'e} Paris 7},
 url          = {http://www0.cs.ucl.ac.uk/staff/J.Alglave/these.pdf},
)
@inproceedings(boudol12,
 author       = {G. Boudol and G. Petri and Serpette G.},
 year         = {2012},
 title        = {Relaxed Operational Semantics of Concurrent Programming Languages},
 editor       = {B. Luttik and M. A. Reniers},
 booktitle    = {Proc.\ of Combined 19th Wksh.\ on Expressiveness in Concurrency and 9th Wksh.\ on Structural Operational Semantics, EXPRESS/SOS 2012},
 series       = {Electron.\ Proc.\ in Theor.\ Comput.\ Sci.},
 volume       = {89},
 pages        = {19--33},
 doi          = {10.4204/eptcs.89.3},
)
@book(foata,
 author       = {P. Cartier and D. Foata},
 year         = {1969},
 title        = {Problemes combinatoires de commutation et r{\'e}arrangements},
 series       = {Lect.\ Notes in Math.},
 volume       = {85},
 publisher    = {Springer},
 doi          = {10.1007/bfb0079468},
)
@book(godefroid,
 author       = {P. Godefroid},
 year         = {1996},
 title        = {Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem},
 publisher    = {Springer},
 doi          = {10.1007/3-540-60761-7},
)
@article(lamport,
 author       = {L. Lamport},
 year         = {1979},
 title        = {How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs},
 journal      = {IEEE Trans. on Comput.},
 volume       = {28},
 number       = {9},
 pages        = {690--691},
 doi          = {10.1109/tc.1979.1675439},
)
@article(mazurkiewicz,
 author       = {A. Mazurkiewicz},
 year         = {1995},
 title        = {Introduction to Trace Theory},
 journal      = {The Book of Traces},
 pages        = {3--41},
 doi          = {10.1142/9789814261456_0001},
)
@inproceedings(x86-tso,
 author       = {S. Owens and S. Sarkar and P. Sewell},
 year         = {2009},
 title        = {A Better x86 Memory Model: {x86-TSO}},
 editor       = {S. Berghofer and T. Nipkow and C. Urban and M. Wenzel},
 booktitle    = {Proc.\ of 22nd Int.\ Conf.\ on Theorem Proving in Higher Order Logics, TPHOLs~2009},
 series       = {Lect.\ Notes in Comput.\ Sci.},
 volume       = {5674},
 publisher    = {Springer},
 pages        = {391--407},
 doi          = {10.1007/978-3-642-03359-9\_27},
)
@inproceedings(park,
 author       = {S. Park and D. L. Dill},
 year         = {1995},
 title        = {An Executable Specification, Analyzer and Verifier for {RMO} (Relaxed Memory Order)},
 booktitle    = {Proc.\ of 7th Ann.\ ACM Symp.\ on Parallel Algorithms and Architectures, SPAA~'95},
 publisher    = {ACM},
 pages        = {34--41},
 doi          = {10.1145/215399.215413},
)
@inproceedings(sassone,
 author       = {V. Sassone and M. Nielsen and G. Winskel},
 year         = {1993},
 title        = {Deterministic Behavioural Models for Concurrency},
 editor       = {A. M. Borzyszkowski and S. Sokolowski},
 booktitle    = {Proc.\ of 18th Int.\ Symp.\ on Mathematical Foundations of Computer Science, MFCS~'93},
 series       = {Lect.\ Notes in Comput.\ Sci.},
 volume       = {711},
 publisher    = {Springer},
 pages        = {682--692},
 doi          = {10.1007/3-540-57182-5_59},
)
@book(sparc1994,
 author       = {{SPARC International Inc.} and David L. Weaver},
 year         = {1994},
 title        = {The {SPARC} Architecture Manual},
 publisher    = {Prentice-Hall},
)
@inproceedings(yang,
 author       = {Y. Yang and G. Gopalakrishnan and G. Lindstrom and K. Slind},
 year         = {2004},
 title        = {{Nemos}: A Framework for Axiomatic and Executable Specifications of Memory Consistency Models},
 booktitle    = {Proc.\ of 18th Int.\ Parallel and Distributed Processing Symposium, IPDPS 2004},
 publisher    = {IEEE},
 pages        = {31--40},
 doi          = {10.1109/ipdps.2004.1302944},
)
@inproceedings(zhang,
 author       = {N. Zhang and M. Kusano and C. Wang},
 year         = {2015},
 title        = {Dynamic Partial Order Reduction for Relaxed Memory Models},
 booktitle    = {Proc.\ of 36th ACM SIGPLAN Conf.\ on Principles of Language Design and Implementation, PLDI 2015},
 publisher    = {ACM},
 pages        = {250--259},
 doi          = {10.1145/2737924.2737956},
)