@inproceedings{ArmstrongS12,
  author    = {Armstrong, A. and Struth, G.},
  title     = {Automated Reasoning in Higher-Order Regular Algebra},
  booktitle = {RAMiCS 2012},
  pages     = {66--81},
  series    = {LNCS},
  volume    = {7560},
  publisher = {Springer},
  year      = {2012}
}

@Misc{Ballarin,
  author = 	 {Ballarin, Clemens},
  title = 	 {The {I}sabelle/{HOL} Algebra Library},
  howpublished = {\url{https://isabelle.in.tum.de/dist/library/HOL/HOL-Algebra/index.html}}
}

@Book{GierzHKLMS80,
  author = 	 {Gierz, G. and Hofmann, K. H. and Lawson, J. D. and Mislove, M and Scott, D. S.},
  title = 	 {A Compendium of Continuous Lattices},
  publisher = 	 {Springer},
  year = 	 1980}

@article{GomesS15,
  author    = {Gomes, Victor B. F. and
               Struth, Georg},
  title     = {Residuated Lattices},
  journal   = {Archive of Formal Proofs},
  year      = {2015}
}

@article{Guttmann16,
  author    = {Guttmann, Walter},
  title     = {Stone Algebras},
  journal   = {Archive of Formal Proofs},
  year      = {2016}
}

@Book{Johnstone82,
  author = 	 {Johnstone, Peter T.},
  title = 	 {Stone Spaces},
  publisher = 	 {Cambridge University Press},
  year = 	 1982}

@Book{Koppelberg89,
  author = 	 {Koppelberg, Sabine},
  editor = 	 {Monk, J. Donald},
  title = 	 {Handbook of Boolean Algebras},
  publisher = 	 {North-Holland},
  year = 	 {1989},
  OPTvolume = 	 {1}
}

@article{Preoteasa11a,
  author    = {Preoteasa, Viorel},
  title     = {Lattice Properties},
  journal   = {Archive of Formal Proofs},
  year      = {2011}
}

@article{Preoteasa11b,
  author    = {Preoteasa, Viorel},
  title     = {Algebra of Monotonic Boolean Transformers},
  journal   = {Archive of Formal Proofs},
  year      = {2011}
}

@Book{Rosenthal90,
  author = 	 {Rosenthal, Kimmo. I.},
  title = 	 {Quantales and their Applications},
  publisher = 	 {Longman Scientific \& Technical},
  year = 	 1990}

@Misc{Wenzel,
  author = 	 {Wenzel, Markus},
  title = 	 {Session {HOL}-{L}attice},
  howpublished = {\url{https://isabelle.in.tum.de/dist/library/HOL/HOL-Lattice/index.html}}}

@inproceedings{Kuncar016,
  author    = {Kuncar, Ondrej and Popescu, Andrei},
  title     = {From Types to Sets by Local Type Definitions in Higher-Order Logic},
  booktitle = {{ITP} 2016},
  pages     = {200--218},
  series    = {LNCS},
  volume    = {9807},
  publisher = {Springer},
  year      = {2016},
}

