Backhouse, R. C. (1986). Program Construction and Verification. Prentice-Hall.
Chicago Style citaatBackhouse, Roland C. Program Construction and Verification. Prentice-Hall, 1986.
MLA citatieBackhouse, Roland C. Program Construction and Verification. Prentice-Hall, 1986.
Let op: Deze citaties zijn niet altijd 100% accuraat.