Cita APA (7a ed.)

Back, R. J. R. (1980). Correctness preserving program refinements: Proof theory and applications. Mathematisch centrum.

Cita Chicago Style (17a ed.)

Back, R. J. R. Correctness Preserving Program Refinements: Proof Theory and Applications. Amsterdam: Mathematisch centrum, 1980.

Cita MLA (8a ed.)

Back, R. J. R. Correctness Preserving Program Refinements: Proof Theory and Applications. Mathematisch centrum, 1980.