APA (7th ed.) Citation

Hennicker, R., & Knapp, A. (2022). Specification of systems with parameterised events: An institution-independent approach. Journal of logical and algebraic methods in programming, 128, 100791. https://doi.org/10.1016/j.jlamp.2022.100791

Chicago Style (17th ed.) Citation

Hennicker, Rolf, and Alexander Knapp. "Specification of Systems with Parameterised Events: An Institution-independent Approach." Journal of Logical and Algebraic Methods in Programming 128 (2022): 100791. https://doi.org/10.1016/j.jlamp.2022.100791.

MLA (9th ed.) Citation

Hennicker, Rolf, and Alexander Knapp. "Specification of Systems with Parameterised Events: An Institution-independent Approach." Journal of Logical and Algebraic Methods in Programming, vol. 128, 2022, p. 100791, https://doi.org/10.1016/j.jlamp.2022.100791.