著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"富樫, 敦",代数的並行プロセス自動合成のための時制論理に基づいた新しい方法論の開発,,[富樫敦],1996,科学研究費補助金(一般研究C)研究成果報告書,,,,https://cir.nii.ac.jp/crid/1130282272917436032