204	  Hoang, Thai Son and Fürst, Andreas and Abrial, Jean-Raymond  (2009) Event-B Patterns and Their Tool Support.  2009 Seventh IEEE International Conference on Software Engineering and Formal Methods .   pp. 210-219.      
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>