APA (7th ed.) Citation

Johnen, C., Gouda, M. G., Prasetya, I. S. W. B., & Swierstra, S. D. (2005). Formal design of self-stabilizing programs. Journal of High Speed Networks, 14(1), 59.

Chicago Style (17th ed.) Citation

Johnen, Colette, Mohamed G. Gouda, I. S. W. B. Prasetya, and S. D. Swierstra. "Formal Design of Self-stabilizing Programs." Journal of High Speed Networks 14, no. 1 (2005): 59.

MLA (9th ed.) Citation

Johnen, Colette, et al. "Formal Design of Self-stabilizing Programs." Journal of High Speed Networks, vol. 14, no. 1, 2005, p. 59.