Propositional modal logic of programs (1977)

by M J Fischer, R E Ladner
Venue:In 9th ACM Symposium on Theory of Computing (STOC’77