@INPROCEEDINGS{CdFV97,
  author = "F. Cuartero and D. de Frutos and V. Valero",
  title = "A sound and complete proof system for probabilistic
  processes",
  booktitle = "ARTS'96, LNCS 1231",
  year = "1997",
}