Title: Logics of Programs Workshop, Yorktown Heights, New York, May 1981
Subjects: Computer programming, Congresses