U. Engberg, “Partial orders and fully abstract models for concurrency”, DPB, bd. 19, nr. 307, mar. 1990.