Nielsen, Mogens, et al. “Transition Systems, Event Structures and Unfoldings”. DAIMI Report Series, vol. 20, no. 353, Sept. 1991, doi:10.7146/dpb.v20i353.6583.