Abrial, Jean-Raymond <br/><br/>
The B-book :  assigning programs to meanings / 
J.-R. Abrial 
 - Cambridge :  Cambridge University Press,  2005 
 - 779 p. ;  25 cm. 
<br/><br/> Includes index 
<br/><br/><label>ISBN: </label>9780521021753 (pbk.) 0521021758 (pbk.) 9780521496193 (hbk.) 0521496195 (hbk.) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>B method (Computer science)