Backhouse, R. C. (1986). Program Construction and Verification. Prentice-Hall.
シカゴスタイル引用形Backhouse, Roland C. Program Construction and Verification. Prentice-Hall, 1986.
MLA引用形式Backhouse, Roland C. Program Construction and Verification. Prentice-Hall, 1986.
警告: この引用は必ずしも正確ではありません.