Edmunds, Andrew   Event-B Project Archives, for Tasking Event-B Tutorial.  University of Southampton.    (Unpublished)  

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