1. Programm zur Formalen Begriffsanalyse TH;Burmeister,1987
2. The study of the L-fuzzy concept lattice;Burusco;Mathware Soft Comput.,1994
3. Constructive versions of Tarski's fixed point theorems;Cousot;Pacific J. Math.,1979
4. Introduction to Lattices and Order;Davey,1990
5. Programmbibliothek zur Formalen Begriffsanalyse;Ganter,1986