著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Kaposi, Agnes and Myers, Margaret","Systems, models and measures",,Springer,1994,Formal approaches to computing and information technology (FACIT),,"0387197532,3540197532",,https://cir.nii.ac.jp/crid/1130282273085019392