Pierluigi Frisco Hendrik Jan Hoogeboom P systems with symport/antiport simulating counter automata. 145-170 2004 41 Acta Inf. 2-3 http://dx.doi.org/10.1007/s00236-004-0154-y db/journals/acta/acta41.html#FriscoH04