A propositional version of Hoare's logic with modal operators

(1982) Bulletin of the European Association for Theoretical Computer Science, volume 18, issue 16, pp. 2 - 13

(Article)