Ganter, Bernhard and Wille, Rudolf. Formal Concept Analysis: Mathematical Foundations. Berlin/Heidelberg: Springer-Verlag, 1999.