1. De Bakker, J.W. and de Roever, W.P., 1973, ?A calculus for recursive program schemes,? pp. 167?196 inAutomata, Languages and Programming, M. Nivat, ed., Amsterdam: North-Holland.
2. Van Benthem, J., 1976, ?Modal correspondence theory,? PhD thesis, Mathematisch Instituut & Instituut voor Grondslagenonderzoek, University of Amsterdam.
3. Van Benthem, J., 1991,Language in Action, Amsterdam: North-Holland.
4. Van Benthem, J., 1994, ?A note on dynamic arrow logic,? pp. 15?29 inLogic and Information Flow, J. van Eijck and A. Visser, eds., Cambridge: MIT Press.
5. Böttner, M., 1992, ?Variable-free semantics for anaphora,?Journ. Philos. Logic 21, 375?390.