P systems with proteins on membranes characterize PSPACE | Publicación