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

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

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

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

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

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