Logics of programs : WORKSHOP, CARNEGIE MELLON UNIVERSITY PITTSBURGH, PA, JUNE 6-8, 1983. (Lecture Notes in Computer Science ;, 1984)