@article{Ghica_2003,
    doi = {10.1016/s0304-3975(03)00315-3},
    url = {https://doi.org/10.1016%2Fs0304-3975%2803%2900315-3},
    year = {2003},
    month = {dec},
    publisher = {Elsevier {BV}},
    volume = {309},
    number = {1-3},
    pages = {469--502},
    author = {Dan R. Ghica and Guy McCusker},
    title = {The regular-language semantics of second-order idealized {ALGOL}},
    journal = {Theoretical Computer Science}
}

@article{Ghica_2003, doi = {10.1016/s0304-3975(03)00315-3}, url = {https://doi.org/10.1016%2Fs0304-3975%2803%2900315-3}, year = {2003}, month = {dec}, publisher = {Elsevier {BV}}, volume = {309}, number = {1-3}, pages = {469--502}, author = {Dan R. Ghica and Guy McCusker}, title = {The regular-language semantics of second-order idealized {ALGOL}}, journal = {Theoretical Computer Science} }