G. L. Cattani, M. P. Fiore, and G. Winskel, “A Theory of Recursive Domains with Applications to Concurrency”, BRICS, vol. 4, no. 35, Jun. 1997.