@article{Melham:1999:SIT,
  title = "Special Issue on Theorem Provers and Functional Programming",
  author = "Tom Melham",
  year = "1999",
  journal = "Journal of Functional Programming",
  month = "March",
  number = "2",
  pages = "i-ii",
  volume = "9",
}