1. D. Besozzi, N. Busi, G. Franco, R. Freund, Gh. Păun, Two universality results for (mem)brane systems, in: M.A. Gutiérrez-Naranjo, A. Riscos-Núñez, F.J. Romero-Campero, D. Sburlan (Eds.), Fourth Brainstorming Week on Membrane Computing, Sevilla, January 30–February 3, 2006, vol. 1, RGNC REPORT 02/2006, Sevilla University, Fénix Editora, Sevilla, 2006, pp. 49–62
2. Membrane systems with marked membranes;Brijder;Electronic Notes in Theoretical Computer Science,2007
3. Brane calculi. Interactions of biological membranes;Cardelli,2005
4. An universality result for a (mem)brane calculus based on mate/drip operations;Cardelli;International Journal of Foundations of Computer Science,2006
5. P automata;Csuhaj-Varjú,2005