283	  Jones, C. B. and Pierce, K. G.  (2010) What Can the pi-calculus Tell Us About the Mondex Purse System?  Technical Report. Newcastle University .