, 2020, 'Reverse formalism 16', Synthese 197 (2), 497-544.
, 2013a, On algorithm and robustness in a non-standard sense, in H. Andersen, D. Dieks, T. Uebel, W. J. González & G. Wheeler (eds.), New challenges to philosophy of science, Dordrecht, Springer, pp. 99-112.