De Nicola, Rocco  Behavioral Equivalences.   In:  Encyclopedia of Parallel Computing.   Springer, pp. 120-127.  ISBN 978-0-387-09765-7      (2011)