Normative System Specification

John-Jules Ch Meyer and Roel Wieringa (Eds.). 1993. Deontic Logic in Computer Science: Normative System Specification. John Wiley & Sons Ltd.

1993