Adam Barth, John C. Mitchell: Managing Digital Rights using Linear Logic. LICS 2006: 127-136