Proceedings of the 10th Italian Conference on Theoretical Computer Science, ICTS'07 Rome, Italy, 3-5 October 2007 - Moggi, Eugenio. (World Scientific, 2007)