@INPROCEEDINGS{CCVP01-2,
  author = "D. Cazorla and F. Cuartero and V. Valero and F.L. Pelayo",
  title = "Reasoning about Probabilistic and Nondeterministic Processes",
  booktitle = "Actas de las I Jornadas sobre Programaci\'on y Lenguajes,
PROLE 2001",
  address = "Almagro, Ciudad Real (Spain)",
  year = "2001",
}