-F. L. Bauer/M. Broy (Eds.): Program Construction. International Summer School, Springer-Verlag 1979