Harel, D. (1979). First- order dynamic logic. Springer.
Citácia podle Chicago (17th ed.)Harel, David. First- Order Dynamic Logic. Berlin: Springer, 1979.
Citácia podľa MLA (8th ed.)Harel, David. First- Order Dynamic Logic. Springer, 1979.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..