Specification and design of software systems :  Conference on Operating Systems, Visegrad, Hungary, January 23-27, 1982, proceedings / 
edited by E. Knuth and E. J. Neuhold 
 - Berlin :  Springer-Verlag,  1983 
 - 152 p. 
 - Lecture notes in computer science ;  v. 152 .
<br/><br/><label>Subjects--Topical Terms: </label><br/>System design--Congresses<br/>Operating systems (Computers)--Congresses<br/>Computer programs--Specifications--Congresses
<br/><br/><label>LC Class. No.: </label>QA76.6  / C646 1982