1. Ben-Ari, M.: Principles of the Spin model checker. Springer (2008)
2. Csuhaj-Varjú, E., Verlan, S.: On generalized communicating P systems with minimal interaction rules. Theoretical Computer Science 412, 124–135 (2011)
3. Gheorghe, M., Ipate, F., Lefticaru, R., Pérez-Jiménez, M.J., Ţurcanu, A., Valencia Cabrera, L., García-Quismondo, M., Mierlă, L.: 3-Col problem modelling using simple kernel P systems. International Journal of Computer Mathematics (accepted)
4. Krishna, S.N., Gheorghe, M., Dragomir, C.: Some classes of generalised communicating P systems and simple kernel P systems. Technical report, CS-12-03, University of Sheffield, (2013),
http://staffwww.dcs.shef.ac.uk/people/M.Gheorghe/research/paperlist.html
5. Minsky, M.: Computation: Finite and infinite machines. Prentice Hall, Englewood Cliffs (1967)