@ARTICLE{CCVP01,
  author =    "D. Cazorla and F. Cuartero and V. Valero and F.L.
Pelayo",
  title =        "A Process Algebra for Probabilistic and
Nondeterministic Processes",
  journal =   "Information Processing Letters",
  year =       "2001",
  month= "October",
  volumen="80",
  number= "1",
  pages="15-23"
}