Gabrielle Anderson, Matthew Collinson, David J. Pym: Trust Domains: An Algebraic, Logical, and Utility-Theoretic Approach. TRUST 2013: 232-249