1. Alberts, B., Bray, D., Lewis, J., Raff, M., Roberts, K., Watson, J.D.: Molecular biology of the cell, 2nd edn., Garland (1989)
2. Lecture Notes in Computer Science;L. Caires,2004
3. Lecture Notes in Bioinformatics;L. Cardelli,2005
4. Cardelli, L.: Abstract machines of systems biology. T. Comp. Sys. Biology 3737, 145–168 (2005)
5. Cardelli, L., Gordon, A.D.: Anytime, anywhere: Modal logics for mobile ambients. In: Proc. POPL, pp. 365–377 (2000)