Logics of programs workshop, Carnegie Mellon Univ., Pittsburgh, PA, June 6 - 8, 1983 (Springer, 1984)