著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Puccetti, A. (Armand)",The programming and proof systems ATES : advanced techniques integration into efficient scientific software,,Springer-Verlag,1991,Research reports ESPRIT,,"3540541888,0387541888",,https://cir.nii.ac.jp/crid/1130282271038659328