Author,Title,Edition,Publisher,Year,Series,Number,ISBN,ISSN,URL
"Ditmarsch, Hars van and Hoek, W. van der (Wiebe van der) and Kooi, Barteld",Dynamic epistemic logic,,Springer,2008,Synthese library,,9781402069086,,https://cir.nii.ac.jp/crid/1130000793992401536