著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
藤原 靖,Lectures on Linear Logic/Anne S.Troelstra(1992),コンピュータソフトウェア = Computer software,02896540,東京 : 日本ソフトウェア科学会 ; 1984-,1994-03,11,2,p125-127,https://cir.nii.ac.jp/crid/1520572360122926080,