@inproceedings{Gibbons&Wansbrough96:Tracing,
  title = "Tracing Lazy Functional Languages",
  author = "Jeremy Gibbons and Keith Wansbrough",
  year = "1996",
  address = "Melbourne",
  booktitle = "Computing: The Australasian Theory Seminar",
  editor = "Michael E. Houle and Peter Eades",
  month = "jan",
  pages = "11--20",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/tracing.ps.gz",
}