著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
Jacques Garrigue,Coq : 型理論から来た証明支援系,数学セミナー,03864960,東京 : 日本評論社,2015-11,54,11,18-23,https://cir.nii.ac.jp/crid/1521136280497065984,