توثيق جمعية علم النفس الأمريكية APA (الطبعة السابعة)

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.

توثيق أسلوب شيكاغو (الطبعة السابعة عشر)

Rozenberg, Grzegorz, J. W. de Bakker, و 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 (الطبعة الثامنة)

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.