Cita APA (7a ed.)

Wang, A. An axiomatic basis for proving total correctness of goto-programs.

Cita Chicago Style (17a ed.)

Wang, Arne. An Axiomatic Basis for Proving Total Correctness of Goto-programs.

Cita MLA (9a ed.)

Wang, Arne. An Axiomatic Basis for Proving Total Correctness of Goto-programs.

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