1. Aceto L, Longo G, Victor B (eds) (2003) The difference between sequential and concurrent computations. Special Issue, Mathematical structures in computer science, vol 13, no. 4–5. Cambridge University Press
2. Adler RL (1979) Topological entropy and equivalence of dynamical systems. American Mathematical Society
3. Alligood K, Sauer T, Yorke J (2000) Chaos: an introduction to dynamical systems. Springer, New York
4. Amadio R, Curien P-L (1998) Domains and lambda-calculi. Birkhuaser, Berlin
5. Asperti A, Longo G (1991) Categories, types and structures. MIT, Cambridge, MA