Francisco Herreros Vázquez como compilador