Logics of programs : workshop, Yorktown Heights, Nework, may 1981 - Kozen, Dexter (Lecture notes in computer science, 1982)