-A. Saiwicki (Ed.): Logics of Programs and Their Applications, Proceedings 1980, Springer-Verlag 1983