@techreport{plt-tr2010-redex-v4.2.5,
  author = {Robert Bruce Findler},
  title = {Redex: Debugging Operational Semantics},
  number = {PLT-TR2010-redex-v4.2.5},
  type = {Reference Manual},
  institution = {PLT Scheme Inc.},
  month = {April},
  year = {2010},
  url = {http://download.plt-scheme.org/doc/4.2.5/pdf/redex.pdf},
  note = {\url{http://plt-scheme.org/techreports/}}
}