Braüner, T. (1994) “A General Adequacy Result for a Linear Functional Language”, BRICS Report Series, 1(22). doi: 10.7146/brics.v1i22.21645.