APA (7th ed.) Citation

de Queiroz, R. J. G. B., & Maibaum, T. S. E. (1990). Proof theory and computer programming. Mathematical Logic Quarterly, 36(5), 389. https://doi.org/10.1002/malq.19900360505

Chicago Style (17th ed.) Citation

de Queiroz, Ruy J. G. B., and Thomas S. E. Maibaum. "Proof Theory and Computer Programming." Mathematical Logic Quarterly 36, no. 5 (1990): 389. https://doi.org/10.1002/malq.19900360505.

MLA (9th ed.) Citation

de Queiroz, Ruy J. G. B., and Thomas S. E. Maibaum. "Proof Theory and Computer Programming." Mathematical Logic Quarterly, vol. 36, no. 5, 1990, p. 389, https://doi.org/10.1002/malq.19900360505.