Marc bezem and jan friso groote

Arnold, Ken and James Gosling. The Java Programming Language. Addison Wesley, 1996.

Arnold, Ken, Ann Wollrath, Bryan O'Sullivan, Robert Scheifler, and Jim Waldo. The Jini specification. Addison-Wesley, Reading, MA, USA, 1999.

Augustsson, Lennart. A compiler for Lazy ML. In ACM Symposium on Lisp and Functional Programming (LFP), Austin, Texas, pages 218–227, August 1984.

Augustsson, Lennart. Cayenne — a language with dependent types. In International Conference on Functional Programming (ICFP), Baltimore, Maryland, USA, pages 239–250, 1998.

Bainbridge, E. Stewart, Peter J. Freyd, Andre Scedrov, and Philip J. Scott. Functorial polymorphism. Theoretical Computer Science, 70(1):35–64, 1990. Corrigendum in TCS 71(3), 431.

Baldan, Paolo, Giorgio Ghelli, and Alessandra Raffaetà. Basic theory of F-bounded quantification. Information and Computation, 153(1):173–237, 1999.

Barras, Bruno, Samuel Boutin, Cristina Cornes, Judicael Courant, Jean-Christophe Filliatre, Eduardo Gimenez, Hugo Herbelin, Gerard Huet, Cesar Munoz, Chetan Murthy, Catherine Parent, Christine Paulin-Mohring, Amokrane Saibi, and Benjamin Werner. The Coq proof assistant reference manual : Version 6.1. Technical Report RT-0203, Inria (Institut National de Recherche en Informatique et en Automatique), France, 1997.

Barwise, Jon and Lawrence Moss. Vicious Circles: On the Mathematics of Non-wellfounded Phenomena. Cambridge University Press, 1996.