APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (8th ed.) Citation

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