Axiomatising the logic of computer programming - Goldblatt, Robert (Lecture Notes in Computer Science ;, 1982)