1. Dominical categories;Di Paola;J. Symbolic Logic,1987
2. Some properties of the syntactic p-recursion categories generated by consistent, recursively enumerable extensions of Peano arithmetic;Di Paola;J. Symbolic Logic,1991
3. M.P. Fiore, Axiomatic domain theory in categories of partial maps, Dissertation, University of Edinburgh, Edinburgh, 1994, Cambridge University Press, Cambridge, 1996.
4. H.P. Gumm, Elements of the general theory of coalgebras, LUATCS’99, Rand Africans University, Johannesburg, South Africa, 1999.
5. Functors for coalgebras;Gumm;Algebra Universalis,2001