Torben Braüner A General Adequacy Result for a Linear Functional Language. 27-58 1997 177 Theor. Comput. Sci. 1 db/journals/tcs/tcs177.html#Brauner97 http://dx.doi.org/10.1016/S0304-3975(96)00233-2