@incollection{eprints392,
          author = {Rocco De Nicola},
       publisher = {Springer},
       booktitle = {Mathematical Foundations of Computer Science (MFCS 1984)},
          editor = {Michal Chytil and Vaclav Koubek},
           pages = {433--442},
          volume = {176},
            year = {1984},
          series = {Lecture Notes in Computer Science},
           title = {Models and Operators for Nondeterministic Processes},
             url = {http://eprints.imtlucca.it/392/}
}