Rudolf Freund Sergey Verlan A Formal Framework for Static (Tissue) P Systems. 271-284 2007 conf/membrane/2007 Workshop on Membrane Computing http://dx.doi.org/10.1007/978-3-540-77312-2_17 db/conf/membrane/membrane2007.html#FreundV07