Petr Sosík, Alfonso Rodríguez-Patón: P Systems with Active Membranes Characterize PSPACE. DNA 2006: 33-46