Backhouse, R. C. . .. (1986). Program construction and verification. Prentice -Hall International, Inc..
Styl ChicagoBackhouse, Roland C. Program Construction and Verification. London: Prentice -Hall International, Inc., 1986.
Citace podle MLABackhouse, Roland C. Program Construction and Verification. Prentice -Hall International, Inc., 1986.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..