@techreport{plt-tr2001-mrspidey-v103p1,
  author = {Cormac Flanagan},
  title = {{PLT} {MrSpidey}: Static Debugger Manual},
  number = {PLT-TR2001-mrspidey-v103p1},
  type = {Reference Manual},
  institution = {PLT Scheme Inc.},
  month = {August},
  year = {2001},
  url = {http://download.plt-scheme.org/doc/103p1/pdf/mrspidey.pdf},
  note = {\url{http://plt-scheme.org/techreports/}}
}