Cita APA (7a ed.)
Backhouse, R. C., Guttmann, W., & Winter, M. (Dec 2024). An example of goal-directed, calculational proof. Journal of Functional Programming. https://doi.org/10.1017/S095679682400011X
Cita Chicago Style (17a ed.)
Backhouse, Roland Carl, Walter Guttmann, y Michael Winter. "An Example of Goal-directed, Calculational Proof." Journal of Functional Programming Dec 2024. https://doi.org/10.1017/S095679682400011X.
Cita MLA (9a ed.)
Backhouse, Roland Carl, et al. "An Example of Goal-directed, Calculational Proof." Journal of Functional Programming, Dec 2024, https://doi.org/10.1017/S095679682400011X.
Precaución: Estas citas no son 100% exactas.