De Morgan's and strong De Morgan's laws in a topos of shaves Francis Borceux, Maria Cristina Pedicchio (1987) Acta Universitatis Carolinae. Mathematica et Physica
Deductive systems and categories. Došen, Kosta (1998) Publications de l'Institut Mathématique. Nouvelle Série
Does 2 X exist for a proper class X? Rosický, J. (1980) Abstracta. 8th Winter School on Abstract Analysis