Axiomatising the Logic of Computer Programming - Goldblatt, Robert, 1949- (Lecture notes in computer science ;, 1982)