B (programming language) (1969) by Ken Thompson
	Go (programming language) (2009) by Ken Thompson
	Guarded Commands, Nondeterminacy and Formal Derivation of Programs (1975) by Edsger Dijkstra