Computability and completeness in logics of programs - Harel, David 1950-; Pratt, Vaughan; Meyer, Albert R. (Mass. Inst. of Technology, Lab. for Computer Science, 1978)