PoCo: A Language for Specifying Obligation-Based Policy Compositions. - Danielle Ferguson; Yan Albright; Daniel Lomsak; Tyler Hanks; Kevin Orr; Jay Ligatti (ICSCA, 2020)