Theoretical aspects of computer software :  International Conference TACS'91, Sendai, Japan, September 24-27, 1991 : proceedings / 
T. Ito and A. R. Meyer (eds.) 
 - Berlin :  Springer-Verlag,  1991 
 - 770 p. 
 - Lecture notes in computer science ;  no. 526 .
<br/><br/><label>ISBN: </label>3540544151 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software--Congresses
<br/><br/><label>LC Class. No.: </label>QA76.758  / I583 1991