著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Apt, Krzysztof R. and Boer, Frank S. de and Olderog, E.-R.",Verification of sequential and concurrent programs,"3rd, extended ed",Springer,2009,Texts in computer science,,9781848827448,,https://cir.nii.ac.jp/crid/1130000798085307904