@Unpublished{Aehlig01,
  author =       {Aehlig, Klaus},
  title =        {Normalization by Evaluation Does not Need Types},
  note =         {unpublished draft},
  month =        jan,
  year =         2001
}