@article{TAC_2006_17_a1,
     author = {J.R.B. Cockett and M. Hasegawa and R.A.G. Seely},
     title = {Coherence of the {Double} {Involution} on {*-Autonomous} {Categories}},
     journal = {Theory and applications of categories},
     pages = {17--29},
     publisher = {mathdoc},
     volume = {17},
     year = {2006},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/TAC_2006_17_a1/}
}