Lano, Kevin <br/><br/>
Specification in B: An introduction using the B toolkit 

 - London  Imperial College Press  1996 
 - 242 
<br/><br/><label>ISBN: </label>9781860940187 
<br/><br/><label>Subjects--Topical Terms: </label><br/>B TOOLKIT<br/>PROGRAMMING
<br/><br/><label>Dewey Class. No.: </label>005.1 LAN/S