Martin Erwig, Eric Walkingshaw. Variation Programming with the Choice Calculus. In Ralf Lämmel, João Saraiva, Joost Visser, editors, Generative and Transformational Techniques in Software Engineering IV, International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers. Volume 7680 of Lecture Notes in Computer Science, pages 55-100, Springer, 2011. [doi]