1. A Course in Mathematical Logic;Bell,1977
2. N. Brunner, 75 years of independence proofs by Fraenkel–Mostowski permutation models, 1996
3. A. Bucalo, M. Hofmann, F. Honsell, M. Miculan, I. Scagnetto, Consistency of the theory of contexts, 2001, submitted for publication
4. A spatial logic for concurrency (part II);Caires,2002
5. L. Caires, L. Cardelli, A spatial logic for concurrency (part II), Extended version, with proofs, 2003