著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
C. A. R. Hoare,An axiomatic basis for computer programming,Communications of the ACM,0001-0782,Association for Computing Machinery (ACM),1969-10,12,10,576-580,https://cir.nii.ac.jp/crid/1363670320219654912,https://doi.org/10.1145/363235.363259