@article{Aasa_1995,
    doi = {10.1016/0304-3975(95)90680-j},
    url = {https://doi.org/10.1016%2F0304-3975%2895%2990680-j},
    year = {1995},
    month = {may},
    publisher = {Elsevier {BV}},
    volume = {142},
    number = {1},
    pages = {3--26},
    author = {Annika Aasa},
    title = {Precedences in specifications and implementations of programming languages},
    journal = {Theoretical Computer Science}
}

@article{Aasa_1995, doi = {10.1016/0304-3975(95)90680-j}, url = {https://doi.org/10.1016%2F0304-3975%2895%2990680-j}, year = {1995}, month = {may}, publisher = {Elsevier {BV}}, volume = {142}, number = {1}, pages = {3--26}, author = {Annika Aasa}, title = {Precedences in specifications and implementations of programming languages}, journal = {Theoretical Computer Science} }