Backhouse, R. C. (1986). Program Construction and Verification. Prentice-Hall.
শিকাগো স্টাইলে সাইটেশনBackhouse, Roland C. Program Construction and Verification. Prentice-Hall, 1986.
এমএলএ সাইটেশনBackhouse, Roland C. Program Construction and Verification. Prentice-Hall, 1986.
সতর্কবাণী: সাইটেশন সবসময় 100% নির্ভুল হতে পারে না.