Axiomatising the logic of computer programming - Goldblatt, Robert (Lecture notes in computer science, 1982)