Expressing interesting properties of programs in propositional temporal logic (1986)

by P Wolper
Venue:In Proceedings of POPL 1986