1. Aaronson, S., Grier, D., Schaeffer, L.: The classification of reversible bit operations. In: Papadimitriou, C.H. (ed.) 8th Innovations in Theoretical Computer Science Conference (ITCS 2017). Leibniz International Proceedings in Informatics (LIPIcs), vol. 67, pp. 23:1–23:34. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Dagstuhl (2017)
2. Abramsky, S.: A structural approach to reversible computation. Theor. Comput. Sci. 347(3), 441–464 (2005).
https://doi.org/10.1016/j.tcs.2005.07.002
3. Abramsky, S., Haghverdi, E., Scott, P.J.: Geometry of interaction and linear combinatory algebras. Math. Struct. Comput. Sci. 12(5), 625–665 (2002).
https://doi.org/10.1017/S0960129502003730
4. Bénabou, J.: Catégories avec multiplication. C. R. de l’Académie des Sciences de Paris 256(9), 1887–1890 (1963)
5. Bénabou, J.: Algèbre élémentaire dans les catégories avec multiplication. C. R. Acad. Sci. Paris 258(9), 771–774 (1964)