@Article{AehligJoachimski03a,
  author =   {Klaus Aehlig and Felix Joachimski},
  title =    {Operational Aspects of Untyped Normalization by Evaluation},
  journal =      {Mathematical Structures in Computer Science},
  volume =       14,
  number = 4,
  month = aug,
  pages =        {587--611},
  year =         2004
}