Greibach, S. A. (1975). Theory of Program Structures: Schemes, Semantics, Verification. Springer-Verlag.
Cita Chicago Style (17a ed.)Greibach, Sheila A. Theory of Program Structures: Schemes, Semantics, Verification. Berlin: Springer-Verlag, 1975.
Cita MLA (9a ed.)Greibach, Sheila A. Theory of Program Structures: Schemes, Semantics, Verification. Springer-Verlag, 1975.
Precaución: Estas citas no son 100% exactas.