Matching of Bigraphs. - Lars Birkedal; Troels Christoffer Damgaard; Arne J. Glenstrup; Robin Milner (GT-VC@CONCUR, 2006)

Axiomatizing Binding Bigraphs. - Troels Christoffer Damgaard; Lars Birkedal (Nord. J. Comput., 2006)

Formal Cellular Machinery. - Troels Christoffer Damgaard; Espen Højsgaard; Jean Krivine (SASB, 2011)

An inductive characterization of matching in binding bigraphs. - Troels Christoffer Damgaard; Arne J. Glenstrup; Lars Birkedal; Robin Milner (Formal Aspects Comput., 2013)