@article{Appel_2015,
    doi = {10.1145/2701415},
    url = {https://doi.org/10.1145%2F2701415},
    year = {2015},
    month = {apr},
    publisher = {Association for Computing Machinery ({ACM})},
    volume = {37},
    number = {2},
    pages = {1--31},
    author = {Andrew W. Appel},
    title = {Verification of a Cryptographic Primitive},
    journal = {{ACM} Transactions on Programming Languages and Systems}
}

@article{Appel_2015, doi = {10.1145/2701415}, url = {https://doi.org/10.1145%2F2701415}, year = {2015}, month = {apr}, publisher = {Association for Computing Machinery ({ACM})}, volume = {37}, number = {2}, pages = {1--31}, author = {Andrew W. Appel}, title = {Verification of a Cryptographic Primitive}, journal = {{ACM} Transactions on Programming Languages and Systems} }