著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"二木, 厚吉",モデルの記述と検証のためのプログラミング入門 : CafeOBJによる仕様検証,,サイエンス社,2017,ライブラリ情報学コア・テキスト,,9784781914077,,https://cir.nii.ac.jp/crid/1130000797772062464