Abrial, J.-r <br/><br/>
B-book: assiging programs to meanings 

 - N.d. 
 - Cambridge  CAMBRIDGE UNIVERSITY PRESS  1996 
 - xxxiv,777p. p. 
<br/><br/><label>Subjects--Index Terms: </label>Software Engineering