Krukow, K. “An Operational Semantics for Trust Policies”. BRICS Report Series, vol. 12, no. 30, Sept. 2005, doi:10.7146/brics.v12i30.21897.