Program construction : international summer school. - Bauer, Friedrich L.; Dijkstra, Edsger W.; Gerhart, S. L.; Griffiths, M.; Horning, J.J.; Pair, C.; Broy, M. (Berlin : Springer Verlag, 1979)