1. M. Bednarczyk, Hereditary history preserving bisimulation or what is the power of the future perfect in program logics, Tech. Report, Polish Academy of Sciences, Gdansk, 1991.
2. Handbook of Categorical Algebra I;Borceux,1994
3. G.L. Cattani, Presheaf models for concurrency, Ph.D. Thesis, University of Aarhus, 1999, available at http://www.cl.cam.ac.uk/users/glc25.
4. G.L. Cattani, M.P. Fiore, G. Winskel, A theory of recursive domains with applications to concurrency, in: LICS ’98, Proc. of the 13th Annu. IEEE Symp. on Logic in Computer Science, IEEE Computer Society Press, Silverspring, MD, 1998, pp. 214–225.
5. G.L. Cattani, I. Stark, G. Winskel, Presheaf models for the π-calculus, Proc. 7th Internat. Conf. Category Theory and Computer Science, CTCS ’97, Lecture Notes in Computer Science, vol. 1290, Springer, Berlin, 1997, pp. 106–126.