@InProceedings{alti:tlca93,
  author = 	"Thorsten Altenkirch",
  title = 	"A Formalization of the Strong Normalization Proof for
{System F} in {LEGO}",
  booktitle = 	"Typed Lambda Calculi and Applications",
  year = 	"1993",
  editor = 	"M. Bezem, J.F. Groote",
  series = 	"LNCS 664",  
  pages =       "13 - 28",
}