Deduction over graphs under constraints : a soundness and completeness theorem Seyed-Kazem Lellahi, Nicolas Spyratos (1993) Diagrammes
Demonic semantics: using monotypes and residuals. Tchier, F. (2004) International Journal of Mathematics and Mathematical Sciences
Dualities of concrete categories Hans-E. Porst (1976) Cahiers de Topologie et Géométrie Différentielle Catégoriques