Don S. Batory. Using modern mathematics as an FOSD modeling language. In Yannis Smaragdakis, Jeremy G. Siek, editors, Generative Programming and Component Engineering, 7th International Conference, GPCE 2008, Nashville, TN, USA, October 19-23, 2008, Proceedings. pages 35-44, ACM, 2008. [doi]
Abstract is missing.