1. Edsger Wybe Dijkstra (1930–2002): A Portrait of a Genius
2. Report on the algorithmic language ALGOL 60
3. K. Basu 2015. A new and very long proof of the Pythagoras theorem by way of a proposition on isosceles triangles. MPRA Paper 61125 University Library of Munich Germany. Available at https://mpra.ub.uni-muenchen.de/61125/1/MPRA_paper_61125.pdf.
4. Predicate calculus and program semantics
5. In memoriam