T. Braüner, “A Model of Intuitionistic Affine Logic from Stable Domain Theory (Revised and Expanded Version)”, BRICS, bd. 1, nr. 27, sep. 1994.