1. Burmeister, P. (assisted by A.Rust, P.Scheich and N.Newrly). ConImp — A program on formal concept analysis of one-valued contexts (running under MS-DOS). Darmstadt University of Technology (1986/1999)
2. Burmeister, P.: Merkmalimplikationen bei unvollstandigem Wissen. In: Lex, W. (ed.) Proceedings: Arbeitstagung Begriffsanalyse und K??nstliche Intelligenz, October 6-8 (1988);
3. Technische Universitat Clausthal, Clausthal-Zellerfeld, pp. 15???46 (1991)
4. Burmeister, P.: ConImp — Ein Programm zur Formalen Begriffsanalyse. In: Stumme, G., Wille, R. (eds.) Begriffliche Formal Concept Analysis with ConImp: Introduction to the Basic Features, at http://www.mathematik.tu-darmstadt.de/~burmeister
5. Ganter, B.: Begriffe und Implikationen. In: Stumme, G., Wille, R. (eds.) Begriffliche Wissensverarbeitung: Methoden und Anwendungen. Springer, Heidelberg (2000)