Recommended texts and stuff
- Weir, Alan (2016). Informal proof, formal proof, formalism. The Review of Symbolic Logic, 9 (1) pp. 23-43
- Landin, P. J. (1965). The Next 700 Programming Languages. Communications of the ACM, 9 (2) pp. 157-166
- Great Works in Programming Languages
- Useful Things to Know About Ph.D. Thesis Research