著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
"高田, 司郎 and 田口, 研治 and 城和貴 and 福田, 晃",リリース・コンシステンシ・モデルとその現実の形式的仕様記述について,情報処理学会論文誌数理モデル化と応用（TOM）,1882-7780,東京 : 情報処理学会,1999-12-15,40,SIG09(TOM2),1-17,https://cir.nii.ac.jp/crid/1050564287845235456,