@ARTICLE{jlap03,
  author =       "Diego Cazorla and Fernando Cuartero and Valentín Valero and Fernando L. Pelayo and J. José Pardo",
  title =        "{Algebraic Theory of Probabilistic and Nondeterministic Processes}",
  journal =      "The Journal of Logic and Algebraic Programming",
  publisher =    "Elsevier Science B.V.",
  year =         "2003",
  volume =       "55",
  number =       "1--2",
  pages =        "57--103",
  month =        "March-April",
}