APA引文

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

Chicago Edition Citation

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

MLA引文

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

警告：这些引文格式不一定是100％准确.