1. Presheaf models for concurrency;Cattani,1997
2. Cîrstea, C., A distributed semantics for FOOPS, Technical Report PRG-TR-20-95, Programming Research Group, University of Oxford (1995)
3. Behavioural specification for hierarchical object composition;Diaconescu;Theoretical Computer Science,2005
4. Dubey, R., “On a general definition of safety and liveness,” Master's thesis, School of Electrical Engineering and Comp. Sci., Washington State Univ. (1991)
5. Ehrich, H.-D., J.A. Goguen and A. Sernadas, A categorial theory of objects as observed processes, in: J. d. Bakker, W. d. Roever and G. Rozenberg, editors, Foundations of Object Oriented Languages (1991), pp. 203–228