APA (7th ed.) Citation

Rozenberg, G., Bakker, J. W. d., & Roever, W. d. (1990). Stepwise refinement of distributed systems: Models, formalisms, correctness : REX workshop, Mook, the Netherlands, May 29-June 2, 1989 : proceedings. Springer-Verlag.

Chicago Style (17th ed.) Citation

Rozenberg, Grzegorz, J. W. de Bakker, and W.-P. de Roever. Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness : REX Workshop, Mook, the Netherlands, May 29-June 2, 1989 : Proceedings. Berlin ; New York: Springer-Verlag, 1990.

MLA (8th ed.) Citation

Rozenberg, Grzegorz, et al. Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness : REX Workshop, Mook, the Netherlands, May 29-June 2, 1989 : Proceedings. Springer-Verlag, 1990.