elsevier
Theoretical Computer Science

Vaandrager, F. (1991). Determinism -> (event structure isomorphism = step sequence equivalence). Theoretical Computer Science, 79(2), 275–294.