1. B. Alberts, D. Bray, J. Lewis, M. Raff, K. Roberts, and J.D. Watson. “Molecular Biology of the Cell”. Third Edition, Garland
2. The calculus of looping sequences;Barbuti,2008
3. C. Bodei. A Control Flow Analysis for Beta-binders with and without Static Compartments. To appear in Theoretical Computer Science (2008), Elsevier
4. On Deducing Causality in Metabolic Networks;Bodei;BMC Bioinformatics,2008
5. Towards a Causal Semantics for Brane Calculi;Busi,2007