APA (7th ed.) Citation

Kesner, D., Puel, L., & Tannen, V. (1996). A Typed Pattern Calculus. Information and computation, 124(1), 32-61. https://doi.org/10.1006/inco.1996.0004

Chicago Style (17th ed.) Citation

Kesner, Delia, Laurence Puel, and Val Tannen. "A Typed Pattern Calculus." Information and Computation 124, no. 1 (1996): 32-61. https://doi.org/10.1006/inco.1996.0004.

MLA (9th ed.) Citation

Kesner, Delia, et al. "A Typed Pattern Calculus." Information and Computation, vol. 124, no. 1, 1996, pp. 32-61, https://doi.org/10.1006/inco.1996.0004.