Castellani, Ilaria, and Guo Qiang Zhang. “Parallel Product of Event Structures”. DAIMI Report Series, vol. 18, no. 285, Sept. 1989, doi:10.7146/dpb.v18i285.6663.