Aceto, Luca and Fantechi, Alessandro and De Nicola, Rocco  Testing Equivalences for Event Structures.   In:  Mathematical Models for the Semantics of Parallelism.   Lecture Notes in Computer Science, 280 .  Springer, pp. 1-20.  ISBN 3-540-18419-8      (1986)