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