Ebbe Elsborg Thomas T. Hildebrandt Davide Sangiorgi Type Systems for Bigraphs. 126-140 2008 TGC http://dx.doi.org/10.1007/978-3-642-00945-7_8 conf/tgc/2008 db/conf/tgc/tgc2008.html#ElsborgHS08