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