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. ; 
 - Lecture notes in computer science;36 .
<br/><br/><label>ISBN: </label>0387074155 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer programming.<br/>Recursive programming.<br/>Computer programs.
<br/><br/><label>Universal Decimal Class. No.: </label>681.3.066  / GRE