Nielsen, M., Plotkin, G. & Winskel, G. (1979).
Petri nets, event structures and domains. I G. Kahn (red.),
Semantics of Concurrent Computation: Proceedings of the International Symposium, Evian, France, July 2-4, 1979 (s. 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. I G. Ausiello & C. Böhm (red.),
Automata, Languages and Programming: Fifth Colloquium, Udine, Italy, July 17–21, 1978 (s. 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 Nr. 71