M. Nielsen, G. Rozenberg, and P. S. Thiagarajan, “Transition Systems, Event Structures and Unfoldings”, DPB, vol. 20, no. 353, Sep. 1991.