著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
Peter Sewell and Susmit Sarkar and Scott Owens and Francesco Zappa Nardelli and Magnus O. Myreen,x86-TSO,Communications of the ACM,0001-0782,Association for Computing Machinery (ACM),2010-07,53,7,89-97,https://cir.nii.ac.jp/crid/1361981468607140608,https://doi.org/10.1145/1785414.1785443