Testing semantics for unbounded nondeterminism | Publicación