I. Castellani and G. Q. Zhang, “Parallel Product of Event Structures”, DPB, vol. 18, no. 285, Sep. 1989.