2 books in this genre
Deontic logic in computer science
International Workshop on Deontic Logic in Computer Science (7th 2004 Madeira, Portugal)
Thinking and doing
Hector-Neri Castañeda
