Jeuring ,J (Ed) <br/><br/>
Mathematics of program construction : lecture notes in computer science : Proceedings 

 -  Springer: Tokyo  1998 
 - 382 p. 
<br/><br/><label>ISBN: </label>0003540645918 
<br/><br/><label>Subjects--Topical Terms: </label><br/>program construction :
<br/><br/><label>Dewey Class. No.: </label>005.1  / J28