@PHDTHESIS{Leijen:phdthesis,
  author    = {Daan Leijen},
  title     = {The $\lambda$ Abroad -- A Functional Approach to Software Components},
  school    = {Department of Computer Science, Universiteit Utrecht, The Netherlands},
  year      = 2003,
  month     = nov
}