Greibach, Sheila, 1939- <br/><br/>
Theory of program structures  schemes, semantics, verification 
Sheila A. Greibach 
 - Berlin  Springer-Verlag  1975 
 - 389 p. : ill. ; 25 cm. 
 - Lecture notes in computer science  36 .
<br/><br/>Includes bibliography and index. 
<br/><br/><label>ISBN: </label>0387074155 
<br/><br/><label>LCCN: </label>75-31780 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Electronic digital computers--Programming<br/>Recursive programming<br/>Computer programs