Spivack, N. (2026). Lean Reflexive Closure (Lean formalization). Zenodo.
Cita Chicago (17th ed.)Spivack, Nova. Lean Reflexive Closure (Lean Formalization). Zenodo, 2026.
Cita MLA (9th ed.)Spivack, Nova. Lean Reflexive Closure (Lean Formalization). Zenodo, 2026.
Atenció: Aquestes cites poden no estar 100% correctes.