1. γ-demi-groups, demi-modules, produit demi-directs;Batbedat,1981
2. The axiomatisation of override and update;Berendsen;J. Appl. Log.,2010
3. Modal Logic;Blackburn,2001
4. Range categories I: general theory;Cockett;Theory Appl. Categ.,2012
5. Range categories II: towards regularity;Cockett;Theory Appl. Categ.,2012