M. Nielsen, V. Sassone, and G. Winskel, “Relationships between Models of Concurency”, DPB, vol. 22, no. 456, Dec. 1993.