Formale Begriffsanalyse mit C++. Datenstrukturen und Algorithmen