Formale Begriffsanalyse mit C++ Datenstrukturen und Algorithmen - Vogt, Frank (Springer, 1996)