Luca Cardelli Gheorghe Paun An universality result for a (mem)brane calculus based on mate/drip operations. 49-68 2006 17 Int. J. Found. Comput. Sci. 1 http://dx.doi.org/10.1142/S0129054106003693 db/journals/ijfcs/ijfcs17.html#CardelliP06