著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Almeida, José Bacelar and Frade, Maria João and Pinto, Jorge Sousa and Sousa, Simão Melo de",Rigorous software development : an introduction to program verification,,Springer,2011,Undergraduate topics in computer science,,9780857290175,,https://cir.nii.ac.jp/crid/1130000796599040256