T. Braüner, “A General Adequacy Result for a Linear Functional Language”, BRICS, vol. 1, no. 22, Aug. 1994.