@misc{W2023808162,
  author = {Amir Pnueli},
  title = {The temporal logic of programs},
  year = {1977},
  doi = {https://doi.org/10.1109/sfcs.1977.32}
}