Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI)
Tom Ridge,A Rely-Guarantee Proof System for x86-TSO,"Verified Software: Theories, Tools, Experiments",0302-9743,Springer Berlin Heidelberg,2010,,,55-70,https://cir.nii.ac.jp/crid/1360855570078043776,https://doi.org/10.1007/978-3-642-15057-9_4