Cattani, G. L., Fiore, M. P. and Winskel, G. (1997) “A Theory of Recursive Domains with Applications to Concurrency”, BRICS Report Series, 4(35). doi: 10.7146/brics.v4i35.18961.