@book{Vogt96, author = {Vogt, Frank}, year = {1996}, title = {Formale Begriffsanalyse mit C++. Datenstrukturen und Algorithmen}, publisher = {Springer}, address = {Berlin, New York} }