Deductive systems and categories. Došen, Kosta (1998) Publications de l'Institut Mathématique. Nouvelle Série
Duality for simple ω -categories and disks. Makkai, Mihaly, Zawadowski, Marek (2001) Theory and Applications of Categories [electronic only]