Boreale, Michele and De Nicola, Rocco and Pugliese, Rosario  Divergence in testing and readiness semantics.  Theoretical Computer Science, 266 (1-2).  pp. 237-248.  ISSN 0304-3975      (2001)