Deontic Logic in Computer Sciencede Thomas Agotnes, Jan M. Broersen, Dag ElgesemEdiciones (1)Deontic Logic in Computer Science (2012)Springer · ISBN 9783642315718