Edmunds, Andrew and Butler, Michael  (2008) Linking Event-B and Concurrent Object-Oriented Programs.  In: Refine 2008 - International Refinement Workshop.     

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>