Does Nature Use Data?

R. K. Hill, Does Nature Use Data?, Communications of the ACM, 2016.

Embracing the Algol Effort in Czechoslovakia

H. Durnova, Embracing the Algol Effort in Czechoslovakia, Annals of the History of Computing, IEEE, vol. 36, pp. 26-37, 2014.

A Vindication of Program Verification

S. Bringsjord, A Vindication of Program Verification, History and Philosophy of Logic, pp. 1-16, 2015.