Henning Herrestad Christen Krogh Obligations Directed from Bearers to Counterparts. 210-218 1995 ICAIL http://doi.acm.org/10.1145/222092.222243 db/conf/icail/icail95.html#HerrestadK95