Axiomatising the logic of computer programming - Goldblatt, Robert (Springer Verlag, 1982)