Nielsen, M., G. Rozenberg, and P. S. Thiagarajan. “Transition Systems, Event Structures and Unfoldings”. DAIMI Report Series, vol. 20, no. 353, Sept. 1991, doi:10.7146/dpb.v20i353.6583.