@phdthesis{ heeren05TopQuality,
   author = "Bastiaan J. Heeren",
   school = "Universiteit Utrecht, The Netherlands",
   title  = "Top Quality Type Error Messages",
   year   = "2005",
   month  = sep,
   url    = "\url{http://www.cs.uu.nl/people/bastiaan/phdthesis}",
}