Cita APA

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

Citación estilo Chicago

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

Cita MLA

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

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