@Incollection{EPTCS129.16, author = {Neubauer, Johannes and Steffen, Bernhard and Margaria, Tiziana}, year = {2013}, title = {Higher-Order Process Modeling: Product-Lining, Variability Modeling and Beyond}, editor = {Banerjee, Anindya and Danvy, Olivier and Doh, Kyung-Goo and Hatcliff, John}, booktitle = {Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday, {\rm Manhattan, Kansas, USA, 19-20th September 2013}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {129}, publisher = {Open Publishing Association}, pages = {259-283}, doi = {10.4204/EPTCS.129.16}, }