T. Braüner, “A General Adequacy Result for a Linear Functional Language”, BRICS, bd. 1, nr. 22, aug. 1994.