Nielsen, M., Plotkin, G. & Winskel, G. (1979).
Petri nets, event structures and domains. In G. Kahn (Ed.),
Semantics of Concurrent Computation: Proceedings of the International Symposium, Evian, France, July 2-4, 1979 (pp. 266-284). Springer.
https://doi.org/10.1007/BFb0022474
Fortune, S., Hopcroft, J.
& Schmidt, E. M. (1978).
The complexity of equivalence and containment for free single variable program schemes. In G. Ausiello & C. Böhm (Eds.),
Automata, Languages and Programming: Fifth Colloquium, Udine, Italy, July 17–21, 1978 (pp. 227-240). Springer.
https://doi.org/10.1007/3-540-08860-1_17
Eriksen, S. H., Jensen, B. B., Kristensen, B. B.
& Madsen, O. L. (1977).
The BOBS-system. Department of Computer Science, University of Aarhus, Denmark. DAIMI PB No. 71