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 April 23, 2024. https://tidsskrift.dk/brics/article/view/18961.