An algebraic foundation for automatic feature-based program synthesis
S. Apel, C. Lengauer, B. Möller, C. Kästner
erschienen 2010
in Science of Computer Programming 75(11), pp. 1022-1047, 2010.

