@inproceedings{Melham:2006:FHR,
  title = "A Functional {HDL} in Re{FL}ect",
  author = "Tom Melham and John O'Leary",
  year = "2006",
  booktitle = "Sixth International Workshop on {D}esigning {C}orrect {C}ircuits: {V}ienna, 25--26 {M}arch 2006: Participants' Proceedings",
  editor = "Mary Sheeran and Tom Melham",
  month = "March",
  note = "A Satellite Event of the {ETAPS} 2006 group of conferences",
  publisher = "ETAPS 2006",
  url = "http://www.cs.ox.ac.uk/tom.melham/pub/Melham-2006-FHR.pdf",
}