APA-Zitierstil (7. Ausg.)

(1990). Stepwise refinement of distributed systems: Models, formalisms, correctness; proceedings. Springer.

Chicago-Zitierstil (17. Ausg.)

Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness; Proceedings. Berlin u.a: Springer, 1990.

MLA-Zitierstil (9. Ausg.)

Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness; Proceedings. Springer, 1990.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.