APA-Zitierstil (7. Ausg.)
Bakker, J. d. (1990). Stepwise refinement of distributed systems. Models, formalisms, correctness. REX workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proc. Springer Verlag.
Chicago-Zitierstil (17. Ausg.)
Bakker, J.W. de. Stepwise Refinement of Distributed Systems. Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proc. Berlin: Springer Verlag, 1990.
MLA-Zitierstil (9. Ausg.)
Bakker, J.W. de. Stepwise Refinement of Distributed Systems. Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proc. Springer Verlag, 1990.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.