Castellani, Ilaria, and Guo Qiang Zhang. “Parallel Product of Event Structures”. DAIMI Report Series 18, no. 285 (September 1, 1989). Accessed May 8, 2024. https://tidsskrift.dk/daimipb/article/view/6663.