Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI)
,フォーマルアプローチ論文特集,"電子情報通信学会論文誌. D, 情報・システム = The IEICE transactions on information and systems",18804535,東京 : 電子情報通信学会情報・システムソサイエティ,2008-04,91,4,845-888,https://cir.nii.ac.jp/crid/1520853834353923840,