The Calculus of Looping Sequences for Modelling Biological Membranes