著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Curien, Pierre-Louis and Herbelin, Hugo and Krivine, Jean-Louis and Melliès, Paul-André",Interactive models of computation and program behavior,,Société mathématique de France,2009,Panoramas et synthèses,,9782856292730,,https://cir.nii.ac.jp/crid/1130000794053165440