Greibach, S. A. [ca. 1975]. Theory of program structures : schemes, semantics, verification. In Lecture notes in computer science [Book]. Berlin [u.a.]: Springer.
ISO-690 (author-date, English)GREIBACH, Sheila A., 1975. Theory of program structures : schemes, semantics, verification. Berlin [u.a.]: Springer. Lecture notes in computer science, 36. ISBN 3540074155.
Modern Language Association 9th editionGreibach, S. A. „Theory of program structures : schemes, semantics, verification“. Lecture notes in computer science, book, Springer, 1975.
Mohr Siebeck - Recht (Deutsch - Österreich)Greibach, Sheila A.: Theory of program structures : schemes, semantics, verification, . Lecture notes in computer science, Berlin [u.a.] 1975.
Emerald - HarvardGreibach, S.A. (1975), Theory of program structures : schemes, semantics, verification, Lecture notes in computer science, Bd. , Springer, Berlin [u.a.].