著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"外山, 芳人",プログラム検証のための帰納的定理自動証明法の研究,,[外山芳人],2002,科学研究費補助金基盤研究(C)(2)研究成果報告書,,,,https://cir.nii.ac.jp/crid/1130000797534266624