Ganter, Bernhard and Wille, Rudolf. Formale Begriffsanalyse: Mathematische Grundlagen. Heidelberg: Springer, 1996.