@article {EzGP-03, title = {COMPAS: un compilador para un lenguaje imperativo con aserciones embebidas}, year = {2003}, month = {5}, pages = {47-51}, author = {J. Ezpeleta and P. Gasc{\'o}n and N. Porta} }