Pascal Fradet Daniel Le Métayer Type Checking for a Multiset Rewriting Language. 126-140 1996 conf/lomaps/1996 LOMAPS db/conf/lomaps/lomaps96.html#FradetM96 http://dx.doi.org/10.1007/3-540-62503-8_7