Author: N. Y.) Logics of Programs Workshop (1981 Yorktown Heights