Logics of Programs (Lecture Notes in Computer Science)