APA (7th ed.) Citation

Wortman, D. (1979). On Legality Assertions in Euclid. IEEE transactions on software engineering, SE-5(4), 359-367. https://doi.org/10.1109/TSE.1979.234203

Chicago Style (17th ed.) Citation

Wortman, D.B. "On Legality Assertions in Euclid." IEEE Transactions on Software Engineering SE-5, no. 4 (1979): 359-367. https://doi.org/10.1109/TSE.1979.234203.

MLA (9th ed.) Citation

Wortman, D.B. "On Legality Assertions in Euclid." IEEE Transactions on Software Engineering, vol. SE-5, no. 4, 1979, pp. 359-367, https://doi.org/10.1109/TSE.1979.234203.