著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
Robert DeLine and Manuel Fähndrich,Enforcing high-level protocols in low-level software,ACM SIGPLAN Notices,0362-1340,Association for Computing Machinery (ACM),2001-05,36,5,59-69,https://cir.nii.ac.jp/crid/1360292619910858240,https://doi.org/10.1145/381694.378811