J.G. Cederquist, R.J. Corin, M.A.C. Dekker, S. Etalle, and J.I. den Hartog. "An Audit Logic for Accountability". In 6th Int. Workshop on Policies for Distributed Systems & Networks (POLICY), Stockholm, Sweden. pp. 34-43. IEEE Computer Society. ISBN 0-7695-2265-3, 2005.