Greibach, S. A. [ca. 1975]. Theory of Program Structures: Schemes, Semantics, Verification. In Lecture Notes in Computer Science [Cd]. Berlin, Heidelberg: Springer-Verlag. https://doi.org/10.1007/BFb0023017
ISO-690 (author-date, English)GREIBACH, Sheila A., 1975. Theory of Program Structures: Schemes, Semantics, Verification. Berlin, Heidelberg: Springer-Verlag. Lecture Notes in Computer Science, 36. ISBN 9783540379423.
Modern Language Association 9th editionGreibach, S. A. „Theory of Program Structures: Schemes, Semantics, Verification“. Lecture Notes in Computer Science, cd, Springer-Verlag, 1975, https://doi.org/10.1007/BFb0023017.
Mohr Siebeck - Recht (Deutsch - Österreich)Greibach, Sheila A.: Theory of Program Structures: Schemes, Semantics, Verification, . Lecture Notes in Computer Science, Berlin, Heidelberg 1975.
Emerald - HarvardGreibach, S.A. (1975), Theory of Program Structures: Schemes, Semantics, Verification, Lecture Notes in Computer Science, Bd. , Springer-Verlag, Berlin, Heidelberg, verfügbar unter:https://doi.org/10.1007/BFb0023017.