Propositional modal logic of programs (1977)

by M J Fischer, R E Ladner
Venue:In: Conference record of the ninth annual ACM Symposium on Theory of Computing, ACM