APA način citiranja

Backhouse, R. C. (1986). Program Construction and Verification. Prentice-Hall.

Čikaški stil citiranja

Backhouse, Roland C. Program Construction and Verification. Prentice-Hall, 1986.

MLA način citiranja

Backhouse, Roland C. Program Construction and Verification. Prentice-Hall, 1986.

Upozorenje: Ovi citati možda nisu uvijek 100% točni.