Jones, C. B. and Pierce, K. G.  (2010) Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification.  Technical Report. Newcastle University .