@workingPaper{Beierle_1981,
title={Synthesizing minimal programs from traces of observable behaviour},
author={Beierle, Christoph},
doi={http://dx.doi.org/10.22028/D291-37900},
adress={Bonn},
year={1981}
}