@techreport{plt-tr2007-tools-v372,
  author = {Robert Bruce Findler},
  title = {{PLT} Tools: {DrScheme} Extension Manual},
  number = {PLT-TR2007-tools-v372},
  type = {Reference Manual},
  institution = {PLT Scheme Inc.},
  month = {December},
  year = {2007},
  url = {http://download.plt-scheme.org/doc/372/pdf/tools.pdf},
  note = {\url{http://plt-scheme.org/techreports/}}
}