1. Aceto L, Longo G, Victor B (eds) (2003) The difference between turing computability and concurrent systems. Special issue, Mathematical structures in computer science. Cambridge University Press, to appear
2. Amari S, Nagaoka K (2000) Methods of information geometry. AMS translations of mathematics monographs, vol 191 (trans: Harada D). American Mathematical Society (AMS) and Oxford University Press
3. Asperti A, Longo G (1991) Categories, types and structures. MIT Press
4. Bahsoun J, Fiadero J, Galmiche D (eds) (1999) Proof theory of concurrent object-oriented programming. Special issue, Mathematical structures in computer science, vol 9(3). Cambridge University Press
5. Bailly F (1991) L’anneau des disciplines. Numéro spécial de la Revue Internationale de systémique, vol 5(3)