“Sometime” is sometimes “not never”: on the temporal logic of programs

@inproceedings{linearvsbranching-popl1980,
   apice = {LinearvsbranchingPopl1980},
   author = {Leslie Lamport},
   booktitle = {7th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '80)},
   doi = {10.1145/567446.567463},
   month = jan,
   numpages = 12,
   openalex = {W1581155387},
   pages = {174--185},
   publisher = {ACM},
   title = {``Sometime'' is sometimes ``not never'': on the temporal logic of programs},
   url = {https://dl.acm.org/doi/10.1145/567446.567463},
   year = 1980
}