Kosta Dosen, Zoran Petric: Isomorphic Objects in Symmetric Monoidal Closed Categories. Math. Struct. Comput. Sci. 7(6): 639-662 (1997)