@InProceedings{   priestley:order,
  Author        = "Priestley, Hilary A.",
  BookTitle     = "Algebraic and Coalgebraic Methods",
  date-added    = "2017-06-26 16:49:07 +0000",
  date-modified = "2017-06-26 17:42:43 +0000",
  Title         = "Ordered Sets and Complete Lattices - A Primer for Computer Science",
  File          = "lattices-for-CS (0) - a - a - p.pdf"
}

@InProceedings{ priestley:order, Author = "Priestley, Hilary A.", BookTitle = "Algebraic and Coalgebraic Methods", date-added = "2017-06-26 16:49:07 +0000", date-modified = "2017-06-26 17:42:43 +0000", Title = "Ordered Sets and Complete Lattices - A Primer for Computer Science", File = "lattices-for-CS (0) - a - a - p.pdf" }