@book{JipsenRose,
  author = {Jipsen, Peter and Rose, Henry},
  interhash = {3c059c795ea222bef82aeadbbc53f521},
  intrahash = {9cd44e2dd953968e165fae99cce3f454},
  publisher = {Springer-Verlag},
  title = {Varieties of Lattices},
  year = 1992
}