Applications of deontic logic in computer science: A concise overview. (1993)

by R Wieringa, J-J Meyer
Venue:Deontic Logic in Computer Science.