@ARTICLE{entcs03,
author =       "Fernando L. Pelayo and Fernando Cuartero and Valentín Valero and Diego Cazorla",
title =        "{Analysis of the MPEG-2 Encoding Algorithm with Rosa}",
journal =      "Electronic Notes in Theoretical Computer Science",
publisher =    "Elsevier Science",
year =         "2003",
volume =       "80",
month =        "To appear"
}