著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Schwichtenberg, Helmut and Spies, Katharina",Proof technology and computation,,IOS Press,2006,NATO science series,,1586036254,,https://cir.nii.ac.jp/crid/1130000796655136128