Mikkel Bundgaard Arne J. Glenstrup Thomas T. Hildebrandt Espen Højsgaard Henning Niss Formalizing Higher-Order Mobile Embedded Business Processes with Binding Bigraphs. 83-99 2008 COORDINATION http://dx.doi.org/10.1007/978-3-540-68265-3_6 conf/coordination/2008 db/conf/coordination/coordination2008.html#BundgaardGHHN08