Millerand McBurney. PROPOSITIONAL DYNAMIC LOGIC FOR REASONING ABOUT FIRST-CLASS AGENT INTERACTION PROTOCOLS. Wiley, 2011, doi:10.1111/j.1467-8640.2011.00387.x.