Formale Begriffsanalyse mit C++ Datenstrukturen und Algorithmen - Vogt, Frank (Springer Berlin Heidelberg, 1996)
Das Buch soll den Leser, der an Formaler Begriffsanalyse als Methode der Datenanalyse und Wissenstrukturierung interessiert ist, in die Lage versetzen, eigene C++-Programme zur Formalen Begriffsanalyse zu schreiben. Die auf Diskette beiliegende C++-Klassenbibliothek wird in Aufbau und Benutzung ausführlich anhand zahlreicher Beispiele sowie den zugrundeliegenden mathematischen Begriffen diskutiert. Die Vorgehensweisen der Formalen Begriffsanalyse werden an einem Anwendungsbeispiel erläutert, so daß das Buch sowohl als Leitfaden für den interessierten Neueinsteiger als auch als Handbuch für den versierten Anwendungsprogrammierer und Projektleiter dienen kann