@inproceedings{Vardi_1984,
    doi = {10.1145/800057.808711},
    url = {https://doi.org/10.1145%2F800057.808711},
    year = {1984},
    publisher = {{ACM} Press},
    author = {Moshe Y. Vardi and Pierre Wolper},
    title = {Automata theoretic techniques for modal logics of programs},
    booktitle = {Proceedings of the sixteenth annual {ACM} symposium on Theory of computing  - {STOC} {\textquotesingle}84}
}

@inproceedings{Vardi_1984, doi = {10.1145/800057.808711}, url = {https://doi.org/10.1145%2F800057.808711}, year = {1984}, publisher = {{ACM} Press}, author = {Moshe Y. Vardi and Pierre Wolper}, title = {Automata theoretic techniques for modal logics of programs}, booktitle = {Proceedings of the sixteenth annual {ACM} symposium on Theory of computing - {STOC} {\textquotesingle}84} }