Iliasov, Alexei and Troubitsyna, Elena and Laibinis, Linas and Romanovsky, Alexander and Varpaaniemi, Kimmo and Ilic, Dubravka and Latvala, Timo   Supporting Reuse in Event B Development: Modularisation Approach.  Aabo Akademi, Finland.    (Unpublished)  

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