@article{Pettorossi_1987,
    doi = {10.1016/0304-3975(87)90030-2},
    url = {https://doi.org/10.1016%2F0304-3975%2887%2990030-2},
    year = {1987},
    publisher = {Elsevier {BV}},
    volume = {53},
    number = {1},
    pages = {151--167},
    author = {Alberto Pettorossi},
    title = {Derivation of efficient programs for computing sequences of actions},
    journal = {Theoretical Computer Science}
}

@article{Pettorossi_1987, doi = {10.1016/0304-3975(87)90030-2}, url = {https://doi.org/10.1016%2F0304-3975%2887%2990030-2}, year = {1987}, publisher = {Elsevier {BV}}, volume = {53}, number = {1}, pages = {151--167}, author = {Alberto Pettorossi}, title = {Derivation of efficient programs for computing sequences of actions}, journal = {Theoretical Computer Science} }