APA (7th ed.) Citation

Hansen, D., & Leuschel, M. (2016). Translating B to TLA+ for validation with TLC. Science of Computer Programming, 131, 109. https://doi.org/10.1016/j.scico.2016.04.014

Chicago Style (17th ed.) Citation

Hansen, Dominik, and Michael Leuschel. "Translating B to TLA+ for Validation with TLC." Science of Computer Programming 131 (2016): 109. https://doi.org/10.1016/j.scico.2016.04.014.

MLA (9th ed.) Citation

Hansen, Dominik, and Michael Leuschel. "Translating B to TLA+ for Validation with TLC." Science of Computer Programming, vol. 131, 2016, p. 109, https://doi.org/10.1016/j.scico.2016.04.014.