著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Ditmarsch, Hars van and Hoek, W. van der (Wiebe van der) and Kooi, Barteld",Dynamic epistemic logic,,Springer,2007,Synthese library,,9781402058387,,https://cir.nii.ac.jp/crid/1130000794423452416