@techreport{plt-tr2009-redex-v4.1.4,
  author = {Robert Bruce Findler},
  title = {Redex: Debugging Operational Semantics},
  number = {PLT-TR2009-redex-v4.1.4},
  type = {Reference Manual},
  institution = {PLT Scheme Inc.},
  month = {January},
  year = {2009},
  url = {http://download.plt-scheme.org/doc/4.1.4/pdf/redex.pdf},
  note = {\url{http://plt-scheme.org/techreports/}}
}