Thomas Ågotnes, Jan M. Broersen, Dag Elgesem: Deontic Logic in Computer Science - 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings. Lecture Notes in Computer Science 7393, Springer 2012, ISBN 978-3-642-31569-5