著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Tari, Zahir and Bertók, Péter and Mukherjee, Anshuman",Verification of communication protocols in web services : model-checking service compositions,,John Wiley & Sons,2014,Wiley series on parallel and distributed computing,,9780470905395,,https://cir.nii.ac.jp/crid/1130000797185557248