Methods of programming :  selected papers on the CIP-Project / 
M. Broy and M. Wirsing, (eds.) 
 - Berlin :  Springer-Verlag,  1991 
 - 268 p. 
 - Lecture notes in computer science ;  v. 544 .
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software engineering
<br/><br/><label>LC Class. No.: </label>QA76.758  / M48