Antoni Kreczmar
-
Propositional modal logic of programs
STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing