"Revisions of selected papers that were presented at the First International Workshop on Deontic Logic in Computer Science ... held in Amsterdam on December 11-13, 1991".
Deontic logic in computer science : normative system specification. ISBN 0471937436. Published by Wiley in 1993. Publication and catalogue information, links to buy online and reader comments.