@article{Schmidt_1985,
    doi = {10.1145/3318.3323},
    url = {https://doi.org/10.1145%2F3318.3323},
    year = {1985},
    month = {apr},
    publisher = {Association for Computing Machinery ({ACM})},
    volume = {7},
    number = {2},
    pages = {299--310},
    author = {David A. Schmidt},
    title = {Detecting global variables in denotational specifications},
    journal = {{ACM} Transactions on Programming Languages and Systems}
}

@article{Schmidt_1985, doi = {10.1145/3318.3323}, url = {https://doi.org/10.1145%2F3318.3323}, year = {1985}, month = {apr}, publisher = {Association for Computing Machinery ({ACM})}, volume = {7}, number = {2}, pages = {299--310}, author = {David A. Schmidt}, title = {Detecting global variables in denotational specifications}, journal = {{ACM} Transactions on Programming Languages and Systems} }