@article{BJ13,
title = {Algorithmic program synthesis: introduction },
author = {Bod\'{\i}k, Rastislav and Jobstmann, Barbara},
year = {2013},
journal = {STTT},
number = {5},
pages = {397-411},
volume = {15},
team = {DCS},
}
