Deontic Logic in Computer Science - Meyden, Ron van der (Springer Berlin Heidelberg, 2020)