Working material for the lectures of ... - Dijkstra, Edsger W. (Techn. Univ. München, 1986)