J. Banâtre, P. Fradet, and D. L. Métayer, Gamma and the Chemical Reaction Model: Fifteen Years After, Multiset Processing, pp.17-44, 2001.
DOI : 10.1007/3-540-45523-X_2

J. Banâtre, P. Fradet, and Y. Radenac, Chemical programming with infinite and hybrid multisets

J. Banâtre, P. Fradet, and Y. Radenac, Higher-order programming style, Proc. of the workshop on Unconventional Programming Paradigms, 2005.

J. Banâtre, P. Fradet, and Y. Radenac, Principles of Chemical Programming, Proceedings of the 5th International Workshop on Rule-Based Programming, pp.133-147, 2004.
DOI : 10.1016/j.entcs.2004.07.019

J. Banâtre and D. L. Métayer, Programming by multiset transformation, Communications of the ACM, vol.36, issue.1, pp.98-111, 1993.
DOI : 10.1145/151233.151242

G. Berry and G. Boudol, The chemical abstract machine, Theoretical Computer Science, vol.96, issue.1, pp.217-248, 1992.
DOI : 10.1016/0304-3975(92)90185-I
URL : https://hal.archives-ouvertes.fr/inria-00075426

W. Blizard, Negative membership., Notre Dame Journal of Formal Logic, vol.31, issue.3, pp.346-368, 1990.
DOI : 10.1305/ndjfl/1093635499

D. Cohen and J. Muylaert-filho, Introducing a calculus for higher-order multiset programming, LNCS, vol.1061, pp.124-141, 1996.
DOI : 10.1007/3-540-61052-9_43

L. Métayer and D. , Higher-order multiset programming, Proc. of the DIMACS workshop on specifications of parallel algorithms, Dimacs Series in Discrete Mathematics 18, 1994.

D. Loeb, Sets with a negative number of elements, Advances in Mathematics, vol.91, issue.1, pp.64-74, 1992.
DOI : 10.1016/0001-8708(92)90011-9

G. P?-aun, Computing with membranes, Journal of Computer and System Sciences, vol.61, pp.108-143, 2000.