Cita APA

Anderson, R. B. (1979). Proving programs correct. Wiley.

Citación estilo Chicago

Anderson, Robert Brockett. Proving Programs Correct. New York: Wiley, 1979.

Cita MLA

Anderson, Robert Brockett. Proving Programs Correct. New York: Wiley, 1979.

Precaución: Estas citas no son 100% exactas.