著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
"金藤栄孝 and Hidetaka, Kondoh",有限状態機械に基づくプログラミングでのgoto文使用の是非：Hoare論理の観点から,情報処理学会論文誌,1882-7764,東京 : 情報処理学会,2004-09-15,45,9,2124-2137,https://cir.nii.ac.jp/crid/1050845762813857792,