Manuel Fähndrich Robert DeLine Adoption and Focus: Practical Linear Types for Imperative Programming. 13-24 2002 PLDI http://doi.acm.org/10.1145/512529.512532 db/conf/pldi/pldi2002.html#FahndrichD02