1. P. Aczel and N. Mendier. A final coalgebra theorem. In D. Pitt, D. Rydeheard, P. Dybjer, A. Pitts, and A. Poigne, editors, Proc. Category Theory and Computer Science, pages 357–365. Springer Lect. Notes Comp. Sci. ( 389 ), 1988.
2. L. S. Barbosa. Prototyping processes. In M. C. Meo and M. Vilares Ferro, editors, Proc. of AGP’99–Joint Conference on Declarative Programming, pages 513–527, L’Aquila, Italy, 6–9 September 1999.
3. L. S. Barbosa. Forthcoming thesis. DI, Universidade do Minho, 2000.
4. Robin Cockett and Tom Fukushima. About Charity. Yellow Series Report No. 92/480/18, Dep. Computer Science, University of Calgary, June 1992.
5. Robin Cockett and Dwight Spencer. Strong categorical datatypes I. In R. A. G. Seely, editor, Proceedings of Int. Summer Category Theory Meeting, Montreal, Quebec, 23–30 June
1991, pages 141–169. AMS, CMS Conf. Proceedings 13, 1992.