P. Lengauer, V. Bitto, F. Angerer, P. Grünbacher, und H. Mössenböck. Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems, Seite 13:1--13:8. New York, NY, USA, ACM, (2013)
D. Pavlovic, P. Pepper, und D. Smith. Mathematics of Program Construction, Volume 6120 von Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2010)