著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL "Broy, M. and Steinbrüggen, Ralf",Calculational system design,,IOS Press,1999,NATO science series,,"9051994591,4274902919",,https://cir.nii.ac.jp/crid/1130000797315302144