Bounded nondeterminism and the approximation induction principle in process algebra
Bounded nondeterminism and the approximation induction principle in process algebra / R.J. van Glabbeek