Workshop on "Program Specification", Aarhus University, Denmark, Aug. 4-7, 1981 <br/><br/>
Program specification; proceedings   
Ed. by J. Staunstrup 
 - Berlin  Springer-Verlag  1982 
 - iv, 426p. 
 - Lecture notes in Computer Science  134 .
<br/><br/>  
<br/><br/><label>Subjects--Index Terms: </label>
<br/><br/><label>Dewey Class. No.: </label>518.542  / W926.PS