@inproceedings{ClavelPalomino05,
author = {M.~Clavel and M.~Palomino},
booktitle = {Actas V Jornadas sobre Programaci\'{o}n y Lenguajes, PROLE 2005},
editor = {Francisco L\'{o}pez-Fraguas},
pages = {159--172},
publisher = {Thomson},
title = {A quick {ITP} tutorial},
projects = {MERIT,PROMESAS},
butype = {inproceedings},
year = {2005}
}