Backhouse, R. C. (1986). Program construction and verification. Prentice-Hall International.
Cytowanie według stylu Chicago (wyd. 17)Backhouse, Roland C. Program Construction and Verification. Englewood Cliffs, N.J.: Prentice-Hall International, 1986.
Cytowanie według stylu MLA (wyd. 8)Backhouse, Roland C. Program Construction and Verification. Prentice-Hall International, 1986.
Uwaga: Te cytaty mogą odróżniać się od wytycznej twojego fakultetu..