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