Gheorghe Paun Computing with Membranes. 108-143 2000 61 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss61.html#Paun00