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