@book(AHS,
 author       = "J. Ad\'{a}mek and H. Herrlich and G. E. Strecker",
 year         = "2009",
 title        = "Abstract and Concrete Categories",
 edition      = "second",
 publisher    = "Dover Publications",
 address      = "New York",
)
@book(Birkhoff1940,
 author       = "G. Birkhoff",
 year         = "1940",
 title        = "Lattice Theory",
 edition      = "first",
 volume       = "25",
 publisher    = "American Mathematical Society Colloquium Publications",
)
@book(Birkhoff1967,
 author       = "G. Birkhoff",
 year         = "1967",
 title        = "Lattice Theory",
 edition      = "third",
 volume       = "25",
 publisher    = "American Mathematical Society Colloquium Publications",
)
@article(Blyth1970,
 author       = "T. S. Blyth",
 year         = "1970",
 title        = "Sur certaines images homomorphes des demi-groupes ordonnés,",
 journal      = "Bull. Soc. Math. France",
 volume       = "94",
 pages        = "101--111",
)
@article(DMR2010L,
 author       = "J. T. Denniston and A. Melton and S. E. Rodabaugh",
 title        = "Lattice-valued predicate transformers, Chu games, and lattice-valued transformer systems",
 note         = "Under revision",
)
@article(DMR2013,
 author       = "J. T. Denniston and A. Melton and S. E. Rodabaugh",
 year         = "2013",
 title        = "Formal concept analysis and lattice-valued Chu systems",
 journal      = "Fuzzy Sets and Systems",
 volume       = "216",
 pages        = "52--90",
 doi          = "10.1016/j.fss.2012.09.002",
)
@inproceedings(EKMS1993,
 author       = "M. Ern\'{e} and J. Koslowski and A. Melton and G. E. Strecker",
 year         = "1993",
 title        = "A primer on Galois connections",
 booktitle    = "Proceedings of the 1991 Summer Conference on General Topology and Applications in Honor of Mary Ellen Rudin and Her Work",
 volume       = "704",
 publisher    = "Annals of the New York Academy of Sciences",
 pages        = "103--125",
 doi          = "10.1111/j.1749-6632.1993.tb52513.x",
)
@book(GanterStummeWille2005,
 author       = "B. Ganter and G. Stumme and R. Wille",
 year         = "2005",
 title        = "Formal Concept Analysis: Foundations and Applications",
 series       = "Lecture Notes in Artificial Intelligence",
 volume       = "3626",
 publisher    = "Springer Verlag",
 address      = "Berlin, Heidelberg, New York",
 doi          = "10.1007/b105806",
)
@book(GanterWille1996,
 author       = "B. Ganter and R. Wille",
 year         = "1996",
 title        = "Formale Begriffsanalyse: Mathematishce Grundlagen",
 publisher    = "Springer Verlag",
 address      = "Berlin, Heidelberg, New York",
 doi          = "10.1007/978-3-642-61450-7",
 note         = "English edition was published in 1999.",
)
@book(Johnstone1982,
 author       = "P. T. Johnstone",
 year         = "1982",
 title        = "Stone Spaces",
 publisher    = "Cambridge University Press",
 address      = "Cambridge",
)
@inproceedings(MMS1987,
 author       = "J. M. McDill and A. C. Melton and G. E. Strecker",
 year         = "1987",
 title        = "A category of Galois connections",
 series       = "Lecture Notes in Computer Science",
 volume       = "283",
 publisher    = "Springer Verlag",
 address      = "Berlin, Heidelberg, New York",
 pages        = "290--300",
 url          = "http://dx.doi.org/10.1007/3-540-18508-9_32",
)
@inproceedings(MSS1986,
 author       = "A. Melton and D. A. Schmidt and G. E. Strecker",
 year         = "1986",
 title        = "Galois connections and computer science applications",
 series       = "Lecture Notes in Computer Science",
 volume       = "240",
 publisher    = "Springer Verlag",
 address      = "Berlin, Heidelberg, New York",
 pages        = "299--312",
 url          = "http://dx.doi.org/10.1007/3-540-17162-2_130",
)
@article(Ore1944,
 author       = "O. Ore",
 year         = "1944",
 title        = "Galois connexions",
 journal      = "Trans. Amer. Math. Soc.",
 volume       = "55",
 pages        = "493--513",
 doi          = "10.1090/S0002-9947-1944-0010555-7",
)
@article(Schmidt1953,
 author       = "J. Schmidt",
 year         = "1953",
 title        = "Beitraege zur filtertheorie II",
 journal      = "Math. Nachr.",
 volume       = "10",
 pages        = "197--232",
 doi          = "10.1002/mana.19530100309",
)
@inproceedings(Stumme2002,
 author       = "G. Stumme",
 year         = "2002",
 title        = "Efficient data mining based on formal concept analysis",
 editor       = "A. Hameurlain and R. Cicchetti and R. Traunmueller",
 booktitle    = "Database and Expert Systems Applications",
 series       = "Lecture Notes in Computer Science",
 volume       = "2453",
 publisher    = "Springer Verlag",
 address      = "Berlin, Heidelberg, New York",
 pages        = "534--546",
 url          = "http://dx.doi.org/10.1007/3-540-46146-9_53",
)
@book(Vickers,
 author       = "S. J. Vickers",
 year         = "1989",
 title        = "Topology Via Logic",
 publisher    = "Cambridge University Press",
 address      = "Cambridge",
)
@inbook(VormbrockWille2005,
 author       = "B. Vormbrock and R. Wille",
 year         = "2005",
 title        = "Semiconcept and protoconcept algebras: the basic theorems",
 chapter      = "2",
 pages        = "34--48",
 publisher    = "Springer Verlag",
 address      = "Berlin, Heidelberg",
 url          = "http://dx.doi.org/10.1007/11528784_2",
)