Character and Object. - Jeremy Avigad; Rebecca Lea Morris (Rev. Symb. Log., 2016)

Motivated Proofs: What they are, Why they Matter and How to Write them. - Rebecca Lea Morris (Rev. Symb. Log., 2020)

Plans and Planning in Mathematical Proofs. - Yacin Hamami; Rebecca Lea Morris (Rev. Symb. Log., 2021)

Do mathematical explanations have instrumental value? - Rebecca Lea Morris (Synth., 2021)