De Nicola, Rocco  Extensional Equivalences for Transition Systems.  Acta Informatica, 24 (2).  pp. 211-237.  ISSN 0001-5903      (1987)