Author: Logics of Programs Workshop (1983 Carnegie Mellon University)