著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"IMACS-GAMM International Workshop on Validated Computation and Herzberger, Jürgen","Topics in validated computations : proceedings of IMACS-GAMM International Workshop on Validated Computation, Oldenburg, Germany, 30 August-3 September 1993",,Elsevier,1994,Studies in computational mathematics,,0444816852,,https://cir.nii.ac.jp/crid/1130000798388112768