@PHDTHESIS{Caz01,
  author =       "D. Cazorla",
  title =        "{PNAL: Un modelo algebraico para procesos
probabil\'{\i}sticos y no deterministas}",
  school =       "Dep. of Computer Science. University of Castilla-La
Mancha",
  year =         "2001",
}