Dijkstra, E.W. (1974), "Programming as a Discipline of Mathematical Nature", American Mathematical Monthly (June-July): 608-612.