Dijkstra E.W. Predicate calculus and program semantics / E. W. Dijkstra, C. S. Scholten, 1990. - X,220 p. p. - Текст : непосредственный.
Formal development of programs and proofs / ed. E. W. Dijkstra, 1990. - 242 p. - Текст : непосредственный.
Дал У. Структурное программирование / У. Дал, Э. Дейкстра, К. Хоор; перевод с английского С. Д. Зеленецкого [и др.]; под редакцией Э. З. Любимского и В. В. Мартынюка, 1975. - 247 с. - Текст : непосредственный.