APA (7th ed.) Citation

HATCLIFF, J., & DANVY, O. (1997). A computational formalization for partial evaluation. Mathematical Structures in Computer Science, 7(5), 507. https://doi.org/10.1017/s0960129597002405

Chicago Style (17th ed.) Citation

HATCLIFF, JOHN, and OLIVIER DANVY. "A Computational Formalization for Partial Evaluation." Mathematical Structures in Computer Science 7, no. 5 (1997): 507. https://doi.org/10.1017/s0960129597002405.

MLA (9th ed.) Citation

HATCLIFF, JOHN, and OLIVIER DANVY. "A Computational Formalization for Partial Evaluation." Mathematical Structures in Computer Science, vol. 7, no. 5, 1997, p. 507, https://doi.org/10.1017/s0960129597002405.