Back, R. (1978). On the correctness of refinement steps in program develoment. Univ.
Chicago-Zitierstil (17. Ausg.)Back, Ralph-Johan. On the Correctness of Refinement Steps in Program Develoment. Helsinki: Univ, 1978.
MLA-Zitierstil (9. Ausg.)Back, Ralph-Johan. On the Correctness of Refinement Steps in Program Develoment. Univ, 1978.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.