Cattani, Gian Luca, and Glynn Winskel. “Presheaf Models for CCS-Like Languages”. BRICS Report Series 6, no. 36 (December 6, 1999). Accessed April 19, 2024. https://tidsskrift.dk/brics/article/view/20105.