Cattani, G.L. et al. 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.