@article{Sherman_1984,
    doi = {10.1137/0213051},
    url = {https://doi.org/10.1137%2F0213051},
    year = {1984},
    month = {nov},
    publisher = {Society for Industrial {\&} Applied Mathematics ({SIAM})},
    volume = {13},
    number = {4},
    pages = {825--839},
    author = {R. Sherman and A. Pnueli and D. Harel},
    title = {Is the Interesting Part of Process Logic uninteresting?: A Translation from {PL} to {PDL}},
    journal = {{SIAM} Journal on Computing}
}

@article{Sherman_1984, doi = {10.1137/0213051}, url = {https://doi.org/10.1137%2F0213051}, year = {1984}, month = {nov}, publisher = {Society for Industrial {\&} Applied Mathematics ({SIAM})}, volume = {13}, number = {4}, pages = {825--839}, author = {R. Sherman and A. Pnueli and D. Harel}, title = {Is the Interesting Part of Process Logic uninteresting?: A Translation from {PL} to {PDL}}, journal = {{SIAM} Journal on Computing} }