@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} }