Anderson, R. B. (1979). Proving programs correct. Wiley.
Citación estilo ChicagoAnderson, Robert Brockett. Proving Programs Correct. New York: Wiley, 1979.
Cita MLAAnderson, Robert Brockett. Proving Programs Correct. New York: Wiley, 1979.
Precaución: Estas citas no son 100% exactas.
