Ganter, B. and Wille, R.. Formal Concept Analysis: Mathematical Foundations. Berlin -- Heidelberg: Springer, 1999.