1. Introduction to Lattices and Order;Davey,2002
2. Continuous Lattices and Domains;Gierz,2003
3. Continuous Information systems;Hoofman;Information and Computation,1993
4. Formal F-contexts and their induced implication rule systems;Guo;Lecture Notes in Computer Science,2013
5. Using information systems to solve domain equations effectively;Larsen,1984