Logics of programs : workshop, Yorktown Heights, Nework, may 1981 - Kozen, Dexter (Berlin Heidelberg New York : Springer-Verlag, 1982)