%0 Book %1 Vogt96b %A Vogt, Frank %C Berlin--Heidelberg--New~York %D 1996 %I Springer--Verlag %K fba formal begriffsanalyse concept forschungsgruppe ag1 tu formale analysis lattices fca darmstadt %T Formale Begriffsanalyse mit C++: Datenstrukturen und Algorithmen