Logics of Programs: Brooklyn, June 17–19, 1985 Proceedings