Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI)
二木 厚吉 and 緒方 和博 and 中村 正樹,チュートリアル CafeOBJ入門(4)証明譜による検証法,コンピュータソフトウェア = Computer software,02896540,東京 : 日本ソフトウェア科学会 ; 1984-,2008-10,25,4,68-84,https://cir.nii.ac.jp/crid/1520853831968007040,