Amir Pnueli: The temporal logic of programs.
Αμίρ Πνουέλι: The temporal logic of programs.