Butler, Michael  (2012) External and internal choice with event groups in Event-B.  FORMAL ASPECTS OF COMPUTING, 24  (4-6).   pp. 555-567.      

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