1. Aguado, J., Bǎlǎnescu, T., Cowling, A., Gheorghe, M., Holcombe, M., Ipate, F.: P systems with replicated rewriting and stream X-machines (Eilenberg machines). Fundamenta Informaticae 49, 17–33 (2002)
2. Natural Computing Series,2006
3. Dang, Z., Ibarra, O.H., Li, C., Xie, G.: Decidability of model-checking P systems. Journal of Automata, Languages and Combinatorics 11, 179–198 (2006)
4. Lecture Notes in Computer Science;M. Gheorghe,2009
5. Gheorghe, M., Ipate, F., Lefticaru, R., Dragomir, C.: An integrated approach to P systems formal verification. In: Proceedings of the 11th Conference on Membrane Computing, Jena, Germany, pp. 225–238 (2010)