1. Ciobanu, G., Paraschiv, D.: P System Software Simulator. Fundamenta Informaticae 49, 61–66 (2002)
2. Lecture Notes in Computer Science;G. Ciobanu,2004
3. Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Quesada, J.F.: Maude: Specification and Programming in Rewriting Logic. Theoretical Computer Science 285(2), 187–243 (2002)
4. Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C.: Maude Manual, Version 2.1 (2004),
http://maude.cs.uiuc.edu
5. ENTCS;F. Durán,1999