APA (7th ed.) Citation

Batory, D., Sarvela, J., & Rauschmayer, A. (2004). Scaling step-wise refinement. IEEE transactions on software engineering, 30(6), 355-371. https://doi.org/10.1109/TSE.2004.23

Chicago Style (17th ed.) Citation

Batory, D., J.N Sarvela, and A. Rauschmayer. "Scaling Step-wise Refinement." IEEE Transactions on Software Engineering 30, no. 6 (2004): 355-371. https://doi.org/10.1109/TSE.2004.23.

MLA (9th ed.) Citation

Batory, D., et al. "Scaling Step-wise Refinement." IEEE Transactions on Software Engineering, vol. 30, no. 6, 2004, pp. 355-371, https://doi.org/10.1109/TSE.2004.23.