Theory of program structures schemes, semantics, verification - Greibach, Sheila, 1939- (Berlin Springer-Verlag, 1975)
Includes bibliography and index.
1
Keywords: Electronic digital computers -- Programming; Recursive programming; Computer programs