[1]
U. Engberg, “Partial orders and fully abstract models for concurrency”, DPB, vol. 19, no. 307, Mar. 1990.