Backhouse, R. C. (1986). Program Construction and Verification. Prentice-Hall.
Chicago Edition CitationBackhouse, Roland C. Program Construction and Verification. Prentice-Hall, 1986.
Deismireacht MLABackhouse, Roland C. Program Construction and Verification. Prentice-Hall, 1986.
Rabhadh: D'fhéadfadh nach mbeadh na deismireachtaí seo 100% cruinn i gcónaí.