@PHDTHESIS{Caz-thesis01,
  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",
}