@TECHREPORT{CCVP98,
  author = "D. Cazorla and F. Cuartero and V. Valero and F.L. Pelayo",
  title = "A Denotational Model for Probabilistic and Nondeterministic Processes",
  institution = "Universidad de Castilla-La Mancha",
  year = "1998",
  number = "DIAB-98-01-02",
  file = http://www.info-ab.uclm.es/sec-ab/Tecrep/diab980102.ps
}