"L3: A Linear Language with Locations."

Greg Morrisett, Amal J. Ahmed, Matthew Fluet (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics