APA (7th ed.) Citation

Back, R. (1978). On the correctness of refinement steps in program development. Department of Computer Science, University of Helsinki.

Chicago Style (17th ed.) Citation

Back, Ralph-Johan. On the Correctness of Refinement Steps in Program Development. Helsinki: Department of Computer Science, University of Helsinki, 1978.

MLA (8th ed.) Citation

Back, Ralph-Johan. On the Correctness of Refinement Steps in Program Development. Department of Computer Science, University of Helsinki, 1978.