-Logics of Programs. Proceedings,1985.Edited by R. Parikh. VI, 424 pages, Springer-Verlag 1985