@TECHREPORT{CCVP00-2,
  author = "D. Cazorla and F. Cuartero and V. Valero and F.L. Pelayo",
  title = "A Process Algebra for Probabilistic and Nondeterministic Processes",
  institution = "UCLM",
  year = "2000",
  number = "DIAB-00-01-11",
  note = "\newline http://www.info-ab.uclm.es/sec-ab/Tecrep/diab000111.ps"
}