%0 Book
%A  by E. Clarke, D. Kozen.
%T Logics of Programs : 
%U /book/90113262/Logics-of-Programs/