@Article{txa:jtait,
  title={{Big-step normalisation}},
  author={Thorsten Altenkirch and James Chapman},
  journal={Journal of Functional Programming},
  volume={19},
  number={3-4},
  pages={311--333},
  year={2009},
  publisher={Cambridge University Press}
}