@INPROCEEDINGS{ClavelPalomino05,
  author =       {Manuel Clavel and Miguel Palomino},
  title =        {A quick ITP tutorial},
  booktitle =    {V Jornadas sobre Programaci\'on y Lenguajes, PROLE 2005},
  year =         2005,
  editor =       {Francisco L\'opez-Fraguas},
  publisher =    {Thomson}
}