APA (7th ed.) Citation

Beggs, E., & Tucker, J. V. (2022). A model of systems with modes and mode transitions. Journal of logical and algebraic methods in programming, 127, 100774. https://doi.org/10.1016/j.jlamp.2022.100774

Chicago Style (17th ed.) Citation

Beggs, Edwin, and John V. Tucker. "A Model of Systems with Modes and Mode Transitions." Journal of Logical and Algebraic Methods in Programming 127 (2022): 100774. https://doi.org/10.1016/j.jlamp.2022.100774.

MLA (9th ed.) Citation

Beggs, Edwin, and John V. Tucker. "A Model of Systems with Modes and Mode Transitions." Journal of Logical and Algebraic Methods in Programming, vol. 127, 2022, p. 100774, https://doi.org/10.1016/j.jlamp.2022.100774.