APA (7th ed.) Citation

SpringerLink (Online service), Bakker, J. W. d., Roever, W. d., & Rozenberg, G. (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

SpringerLink (Online service), J. W. de Bakker, W.-P. de Roever, and Grzegorz Rozenberg. 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 (9th ed.) Citation

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