Injectivity in the quasi-topo of separated presheaves on a complete Heyting algebra Coulon, Josette, Coulon, Jean-Louis (1990) Portugaliae mathematica
Introduction de quelques formes générales des fonctions pseudo-booléennes. K. Gilezan, B. Canak (1978) Publications de l'Institut Mathématique [Elektronische Ressource]