Theory of program structures : schemes, semantics, verification /

Bibliographic Details

Main Author:	Greibach, Sheila, 1939-
Format:	Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, 1975.
Series:	Lecture notes in computer science ; 36.
Subjects:	Computer programming. Recursive programming. Computer programs.