Cattani, Gian Luca, og Glynn Winskel. “Presheaf Models for Concurrency”. BRICS Report Series, bd. 3, nr. 35, juni 1996, doi:10.7146/brics.v3i35.20017.