Axiomatizing the Logic of Computer Programming (1982)

by R Goldblatt
Venue:of Lecture Notes in Computer Science