Greibach, Sheila <br/><br/>
Theory of program structures  schemes, semantics, verification 
Sheila A. Greibach 
 - Berlin  New York  Springer-Verlag  1975 
 - 389 p. in various pagings  ill  25 cm 
 - Lecture notes in computer science  36 .
<br/><br/> Contine bibliografie 
<br/><br/><label>ISBN: </label>0387074155 
<br/><br/><label>LCCN: </label>75031780 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer programming<br/>Recursive programming<br/>Computer programs