L. de Mol, G. Primiero (eds.), Reflections on Programming Systems – Historical and Philosophical Aspects, Philosophical Studies Series, Springer , 2018.
It includes a co-authored Chapter
Arif R., Mori E., Primiero G. (2018) Validity and Correctness Before the OS: the Case of LEO I and LEO II. In: De Mol L., Primiero G. (eds) Reflections on Programming Systems. Philosophical Studies Series, vol 133. Springer, Cham