De Nicola, Rocco  Models and Operators for Nondeterministic Processes.   In:  Mathematical Foundations of Computer Science (MFCS 1984).   Lecture Notes in Computer Science, 176 .  Springer, pp. 433-442.  ISBN 3-540-13372-0      (1984)