Petr Sosík Alfonso Rodríguez-Patón Membrane computing and complexity theory: A characterization of PSPACE. 137-152 2007 73 J. Comput. Syst. Sci. 1 http://dx.doi.org/10.1016/j.jcss.2006.10.001 db/journals/jcss/jcss73.html#SosikR07