@techreport{oai:tsukuba.repo.nii.ac.jp:00053465,
 author = {亀山, 幸義 and KAMEYAMA, Yukiyoshi},
 month = {},
 note = {科学研究費助成事業 研究成果報告書：挑戦的萌芽研究2015-2017課題番号 : 15K12007},
 title = {マルチステージ証明記述言語の設計と開発},
 year = {2018},
 yomi = {カメヤマ, ユキヨシ}
}