Efficient algorithms on the Moore family associated to an implicational system. Bertet, Karell, Nebut, Mirabelle (2004) Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only]
Entity-relationship-attribute designs and sketches. Johnson, Michael, Rosebrugh, Robert, Wood, R.J. (2002) Theory and Applications of Categories [electronic only]