ABRIAL, J.R. <br/><br/>
MODELING IN EVENT-B SYSTEM AND SOFTWARE ENGINEERING 

 - NEW YORK  Cambridge University Press  2010 
 - xxvi+586p.,25x19Cms. 
<br/><br/><label>ISBN: </label>978052189556 
<br/><br/><label>Dewey Class. No.: </label>621.3819642 A458