著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"佐藤, 雅彦","関数的論理型プログラム言語の設計と, それに基づく証明・検証・合成システムの作成",,[佐藤雅彦],1987,科学研究費補助金(一般研究C)研究成果報告書,,,,https://cir.nii.ac.jp/crid/1130000793731520768