@Article{Vestergaard:WRS01,
  author =       "Ren{\'e} Vestergaard",
  title =        "The Simple Type Theory of Normalisation by Evaluation",
  booktitle =    "Proceedings of {WRS-1}",
  journal =       "Electronic Notes in Theoretical Computer Science",
  volume =       "57",
  editor =       "Bernhard Gramlich and Salvador Lucas",
  year =         "2001",
  publisher =    "Elsevier Science",
  note =         "Preliminary proceedings are available as technical report
                  number 2001.2359, {D}epartamento de {S}istemas
                  {I}nform{\'a}ticos y {C}omputaci{\'o}n,
                  {U}niversidad {P}olit{\'e}cnica de {V}alencia",
}