A Discipline of Programming (1976) by Edsger Dijkstra
	Guarded Commands, Nondeterminacy and Formal Derivation of Programs (1975) by Edsger Dijkstra
	Notes on Structured Programming (1970) by Edsger Dijkstra