Broy, Manfred <br/><br/>
Programming and mathematical method / 

 - Berlin :  Springer-Verlag ,  1992. 
 - viii+407 
 - NATO ASI Series .
<br/><br/><label>ISBN: </label>3540555587