@inproceedings{Rushby_1981,
    doi = {10.1145/800216.806586},
    url = {https://doi.org/10.1145%2F800216.806586},
    year = {1981},
    publisher = {{ACM} Press},
    author = {J. M. Rushby},
    title = {Design and verification of secure systems},
    booktitle = {Proceedings of the eighth symposium on Operating systems principles  - {SOSP} {\textquotesingle}81}
}

@inproceedings{Rushby_1981, doi = {10.1145/800216.806586}, url = {https://doi.org/10.1145%2F800216.806586}, year = {1981}, publisher = {{ACM} Press}, author = {J. M. Rushby}, title = {Design and verification of secure systems}, booktitle = {Proceedings of the eighth symposium on Operating systems principles - {SOSP} {\textquotesingle}81} }