著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Poernomo, Iman Hafiz and Crossley, John N. and Wirsing, M. (Martin)",Adapting proofs-as-programs : the Curry-Howard protocol,,Springer,2005,Monographs in computer science,,"0387237593,9781441920140",,https://cir.nii.ac.jp/crid/1130282273369342848