Deontic Logic in Computer Science - Hutchison, David; Kanade, Takeo; Broersen, Jan M.; Elgesem, Dag (Springer Berlin Heidelberg, 2012)