@inproceedings{Gabbay_1980,
    doi = {10.1145/567446.567462},
    url = {https://doi.org/10.1145%2F567446.567462},
    year = {1980},
    publisher = {{ACM} Press},
    author = {Dov Gabbay and Amir Pnueli and Saharon Shelah and Jonathan Stavi},
    title = {On the temporal analysis of fairness},
    booktitle = {Proceedings of the 7th {ACM} {SIGPLAN}-{SIGACT} symposium on Principles of programming languages  - {POPL} {\textquotesingle}80}
}

@inproceedings{Gabbay_1980, doi = {10.1145/567446.567462}, url = {https://doi.org/10.1145%2F567446.567462}, year = {1980}, publisher = {{ACM} Press}, author = {Dov Gabbay and Amir Pnueli and Saharon Shelah and Jonathan Stavi}, title = {On the temporal analysis of fairness}, booktitle = {Proceedings of the 7th {ACM} {SIGPLAN}-{SIGACT} symposium on Principles of programming languages - {POPL} {\textquotesingle}80} }