@TECHREPORT{CCVP98,
  author = "Juan José Pardo Mateo and Valentín Valero Ruiz",
  title = "Prototipo de una herramienta de ejecucion de especificaciones en tpal.",
  institution = "Universidad de Castilla-La Mancha",
  year = "1999",
  number = "DIAB-98-01-05",
  file = www.info-ab.uclm.es/sec-ab/Tecrep/diab99-01-05.ps
}