Logics of programs : WORKSHOP, CARNEGIE MELLON UNIVERSITY PITTSBURGH, PA, JUNE 6-8, 1983. (Springer Verlag, 1984)