著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"O'Regan, Gerard (Cornelius Gerard)","Concise guide to formal methods : theory, fundamentals and industry applications",,Springer,2017,Undergraduate topics in computer science,,9783319640204,,https://cir.nii.ac.jp/crid/1130000795191168128