Alex K. Simpson Elementary Axioms for Categories of Classes. 77-85 1999 LICS http://computer.org/conferen/proceed/lics/0158/01580077abs.htm db/conf/lics/lics99.html#Simpson99