1. New approaches to modelling complex biochemistry;Bachman;Nature Methods,2001
2. The Oxford Handbook of Membrane Computing,2010
3. Coloured Petri Nets; Basic Concepts, Analysis Methods and Practical Use, Vol. 1, 2 and 3;Jensen,1992
4. Communicating and Mobile Systems: the π-Calculus;Milner,1999
5. Mobile ambients;Cardelli;Lecture Notes in Comput. Sci.,1998