Non-Deterministic and Default Behaviour. - Marc F. Witteman; Ronald C. van Wuijtswinkel; S. Ruud Berkhout (Protocol Test Systems, 1992)