176	  Jones, Cliff B and Pierce, Ken G  (2008) Splitting atoms with rely/guarantee conditions coupled with data reification.   In:  ABZ2008.   Springer, LNCS, pp. 360-377.      
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>