Alternative shaper: a model for automatic design generation - Santos, F.; Kwiecinski, K.; de Almeida, A.; Eloy, S.; Taborda, B. (Formal Aspects of Computing, 2018)