@inproceedings{Melham:1992:PIR,
  title = "A Package for Inductive Relation Definitions in {HOL}",
  author = "T. F. Melham",
  year = "1992",
  booktitle = "Proceedings of the 1991 International Workshop on the {HOL} Theorem Proving System and its Applications, {D}avis, {C}alifornia, {A}ugust 28--30, 1991",
  editor = "Myla Archer and Jeffrey J. Joyce and Karl N. Levitt and Phillip J. Windley",
  isbn = "0-8186-2460-4",
  pages = "350--357",
  publisher = "IEEE Computer Society Press",
  url = "http://www.cs.ox.ac.uk/tom.melham/pub/Melham-1992-PIR.pdf",
}