Disciplina programmirovanija - Dijkstra, Edsger W. (Matematičeskoe obespečenie EVM, 1978)