1. Angius, N. (2019). On the mutual dependency between formal methods and empirical testing in program verification. A comment on raymond turner’s computational artifacts. towards a philosophy of computer science.
2. Bringsjord, S. (2019). Computer science as immaterial formal logic. Review of Turner (2018).
3. Floridi, L., Fresco, N., Primiero, G. (2010). On malfunctioning software. Synthese, 192, 199. https://doi.org/10.1007/s11229-014-0610-3 .
4. Fresco, N., & Primiero, G. (2013). Miscomputation. Philosophy & Technology, 2013, 253–272.
5. Glüer, K., & Wikforss, Å. (2018). The normativity of meaning and content, the stanford encyclopedia of philosophy (Spring 2018 Edition), Edward N. Zalta (ed.). https://plato.stanford.edu/archives/spr2018/entries/meaning-normativity/ .