1. Michael Barr and Charles Wells . 1990. Category theory for computing science . Prentice Hall , Hoboken, New Jersey, USA. Michael Barr and Charles Wells. 1990. Category theory for computing science. Prentice Hall, Hoboken, New Jersey, USA.
2. CASE Tool Support for Variability Management in Software Product Lines
3. Automated analysis of feature models 20 years later: A literature review
4. David Benavides , Pablo Trinidad , and Antonio Ruiz-Cortés . 2005. Automated Reasoning on Feature Models . In Advanced Information Systems Engineering, Oscar Pastor and João Falcão e Cunha (Eds.) . Springer Berlin Heidelberg , Berlin, Heidelberg , 491--503. David Benavides, Pablo Trinidad, and Antonio Ruiz-Cortés. 2005. Automated Reasoning on Feature Models. In Advanced Information Systems Engineering, Oscar Pastor and João Falcão e Cunha (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 491--503.
5. Mateus Borges , Quoc-Sang Phan , Antonio Filieri , and Corina S . Păsăreanu . 2017 . Model-Counting Approaches for Nonlinear Numerical Constraints. In NASA Formal Methods, Clark Barrett, Misty Davies, and Temesghen Kahsai (Eds.). Springer International Publishing , Luxembourg, 131--138. Mateus Borges, Quoc-Sang Phan, Antonio Filieri, and Corina S. Păsăreanu. 2017. Model-Counting Approaches for Nonlinear Numerical Constraints. In NASA Formal Methods, Clark Barrett, Misty Davies, and Temesghen Kahsai (Eds.). Springer International Publishing, Luxembourg, 131--138.