R. Freund, S. Verlan et al.:
"A formalization of membrane szstems with dynamically evolving structures";
International Journal of Computer Mathematics,
90
(2013),
4;
801
- 815.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)