Theory of program structures :
Greibach, Sheila,
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 .
0387074155
Computer programming.
Recursive programming.
Computer programs.
681.3.066 / GRE
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 .
0387074155
Computer programming.
Recursive programming.
Computer programs.
681.3.066 / GRE