Communication and deontic logic

(1995) Information systems, correctness and reusability : selected papers from the IS-CORE Workshop, Amsterdam (edited by R.J. Wieringa and R.B. Feenstra), pp. 242 - 260

(Article in proceedings)