Abrial, J.-R.. , <br/><br/>
The B-book :  assigning programs to meanings / 
J.-R. Abrial. 
 - xxxiv, 779 pages ;  26 cm. 
<br/><br/><label>ISBN: </label>0521021758 0521496195 9780521021753 9780521496193 
<br/><br/><label>Subjects--Topical Terms: </label><br/>B method (Computer science).
<br/><br/><label>LC Class. No.: </label>QA76.9.B22   / .A27 1996