Mathematics of program construction :  Second International Conference, Oxford, U. K., June 29 - July 3, 1992 : proceedings / 
R. S. Bird, C. C. Morgan and J. C. P. Woodcock (Eds.) 
 - Berlin :  Springer-Verlag,  1993 
 - 378 p. 
 - Lecture notes in computer science ;  no. 669 .
<br/><br/><label>ISBN: </label>3540566252 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Electronic data processing--Mathematics--Congresses
<br/><br/><label>LC Class. No.: </label>QA76.9 M35  / I57 1992