1. Petri nets, event structures and domains, part I;Nielsen;Theoretical Computer Science,1981
2. Event structures;Winskel,1985
3. Go to statement considered harmful;Dijkstra;Communications of the ACM,1968
4. Structured programming;Dahl;Programming and Computer Software,1972
5. J. Wiedermann, Parallel Turing machines. TR: RUU-CS-84-11, 1984.