@TECHREPORT{CCVP01-3,
  author = "D. Cazorla and F. Cuartero and V. Valero and F.L. Pelayo",
  title = "Algebraic Theory of Probabilistic and Nondeterministic
Processes",
  institution = "UCLM",
  year = "2001",
  number = "DIAB-01-01-19",
  note = "http://www.info-ab.uclm.es/sec-ab/Tecrep/diab010119.ps"
}