James Cummings Possible Behaviours for the Mitchell Ordering. 107-123 1993 65 Ann. Pure Appl. Logic 2 db/journals/apal/apal65.html#Cummings93