Logics of Programs - Clarke, E. (Lecture Notes in Computer Science Ser.)