Propositional Dynamic Logics of Programms: A Survey (1979)

by Rohit Parikh
Venue:Proceedings of the Workshop on Logic of Programs