1. Molecular biology of the cell;Alberts,2002
2. P. Ballarini, R. Mardare, and I. Mura. Analysing Biochemical Oscillation through Probabilistic Model Checking. In Proc. of FBTC 2008, To appear in ENTCS, 2008
3. Complex intracellular calcium oscillations: A theoretical exploration of possible mechanisms;Borghans;Biophysical Chemistry,1997
4. Brane Calculi - Interactions of Biological Membranes;Cardelli,2005
5. Modelling Cellular Processes Using Membrane Systems with Peripheral and Integral Proteins;Cavaliere,2006