Cattani, Gian Luca, Marcelo P. Fiore, and Glynn Winskel. “A Theory of Recursive Domains With Applications to Concurrency”. BRICS Report Series 4, no. 35 (June 5, 1997). Accessed July 17, 2024. https://tidsskrift.dk/brics/article/view/18961.