"Lecture Notes on the structure of programs and proofs".

одной страницы из книги "Informatik", выполненный В.К. Сабельфельдом.

Первый вариант перевода лекций.

Окончательный вариант перевода лекций по построению программ и доказательств.

Письменное подтверждение разрешения на публикацию перевода на русский язык работы Э. Дейкстры и В. Фейена "Ein methode van progpammeren"("Введение в программирование"), выполненного В.К. Сабельфельдом.

Наброски для перевода текста.