Zimmerman, M. K., Lundqvist, K., & Leveson, N. (2002, January). Investigating the readability of state-based formal requirements specification languages. Proceedings - International Conference on Software Engineering, 33-43. https://doi.org/10.1145/581339.581347
Chicago Style (17th ed.) CitationZimmerman, Marc K., Kristina Lundqvist, and Nancy Leveson. "Investigating the Readability of State-based Formal Requirements Specification Languages." Proceedings - International Conference on Software Engineering Jan. 2002: 33-43. https://doi.org/10.1145/581339.581347.
MLA (9th ed.) CitationZimmerman, Marc K., et al. "Investigating the Readability of State-based Formal Requirements Specification Languages." Proceedings - International Conference on Software Engineering, Jan. 2002, pp. 33-43, https://doi.org/10.1145/581339.581347.