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