@article{Solar_Lezama_2012,
    doi = {10.1007/s10009-012-0249-7},
    url = {https://doi.org/10.1007%2Fs10009-012-0249-7},
    year = {2012},
    month = {aug},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {15},
    number = {5-6},
    pages = {475--495},
    author = {Armando Solar-Lezama},
    title = {Program sketching},
    journal = {International Journal on Software Tools for Technology Transfer}
}

@article{Solar_Lezama_2012, doi = {10.1007/s10009-012-0249-7}, url = {https://doi.org/10.1007%2Fs10009-012-0249-7}, year = {2012}, month = {aug}, publisher = {Springer Science and Business Media {LLC}}, volume = {15}, number = {5-6}, pages = {475--495}, author = {Armando Solar-Lezama}, title = {Program sketching}, journal = {International Journal on Software Tools for Technology Transfer} }