Deontic logic in computer science : normative system specification /
Meyer, John-Jules Ch.
International Workshop on Deontic Logic in Computer Science(1st :1991 :Amsterdam, Netherlands)
Chichester : J. Wiley,
c1993.
"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"--
Includes bibliographical references and index.
Computer science
Deontic logic