Summary

Summary

of the lecture by Dijkstra at the Institute of Information Sciences