G. L. Cattani, M. P. Fiore, og G. Winskel, “A Theory of Recursive Domains with Applications to Concurrency”, BRICS, bd. 4, nr. 35, jun. 1997.