@inproceedings{Hughes_1996,
    doi = {10.1145/237721.240882},
    url = {https://doi.org/10.1145%2F237721.240882},
    year = {1996},
    publisher = {{ACM} Press},
    author = {John Hughes and Lars Pareto and Amr Sabry},
    title = {Proving the correctness of reactive systems using sized types},
    booktitle = {Proceedings of the 23rd {ACM} {SIGPLAN}-{SIGACT} symposium on Principles of programming languages  - {POPL} {\textquotesingle}96}
}

@inproceedings{Hughes_1996, doi = {10.1145/237721.240882}, url = {https://doi.org/10.1145%2F237721.240882}, year = {1996}, publisher = {{ACM} Press}, author = {John Hughes and Lars Pareto and Amr Sabry}, title = {Proving the correctness of reactive systems using sized types}, booktitle = {Proceedings of the 23rd {ACM} {SIGPLAN}-{SIGACT} symposium on Principles of programming languages - {POPL} {\textquotesingle}96} }