Logics of programs Workshop, Yorktown Heights, New York, May 1981 - Kozen, Dexter 1951- (Springer-Verlag, 1982)