Citação norma APA
Greibach, S. A. (1975). Theory of program structures: Schemes, semantics verification. Springer Verlag.
Citação norma Chicago
Greibach, Sheife A. Theory of Program Structures: Schemes, Semantics Verification. Berlin: Springer Verlag, 1975.
Citação norma MLA
Greibach, Sheife A. Theory of Program Structures: Schemes, Semantics Verification. Springer Verlag, 1975.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.