@manual{Melham:1992:HPL,
  author = "T. F. Melham",
  month = "February",
  title = "The {HOL} pred\_sets Library",
  year = "1992",
}