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