Works by or with Walter Dean in the bibliography:Strict finitism, feasibility, and the Sorites (2018)Computational Complexity Theory (2021)