G. Ramalingam;Thomas W. Reps
-;-
An algebraic foundation for automatic feature-based program synthesis
Science of Computer Programming