G.: Petri nets, event structures and domains, part 1. Theoretical Computer Science 13 (1981)

by M Nielsen, G Plotkin, Winskel