David Evans David M. Eyers Deontic logic for modelling data flow and use compliance. 19-24 2008 MPAC http://doi.acm.org/10.1145/1462789.1462793 conf/middleware/2008mpac db/conf/middleware/mpac2008.html#EvansE08