The temporal logic of programs (1977)

by Amir Pnueli
Venue:In FOCS