Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI)
戸田 洋三 and 萩谷 昌己,数学の形式化と計算機科学(2),数学セミナー,03864960,東京 : 日本評論社,1996-09,35,9,52-57,https://cir.nii.ac.jp/crid/1520854804933501568,