Gnatz, R <br/><br/>
Zur Konstruktion von Programmen Durch Transformation 
R. Gnatz 
 - Munchen  Universitat Munchen  1977 
 - 22 p  20 cm 
 - TUM-INFO  7741 .
<br/><br/> Contine bibliografie  Lucrarea este multigrafiata