1. Akhter, S., Roberts, J.: Multi-Core Programming. Intel Press, Hillsboro (2006)
2. Andon, F.I., Doroshenko, A.Y., Tseytlin, G.O., Yatsenko, O.A.: Algebra-Algorithmic Models and Methods of Parallel Programming. Akademperiodika, Kyiv (2007) (in Russian)
3. Apel, S., et al.: An Algebraic Foundation for Automatic Feature-Based Program Synthesis. Science of Computer Programming 75(11), 1022–1047 (2010)
4. Bagheri, H., Sullivan, K.: Pol: Specification-Driven Synthesis of Architectural Code Frameworks for Platform-Based Applications. In: Proc. 11th Int. Conf on Generative Programming and Component Engineering, pp. 93–102. ACM, New York (2012)
5. Barthe, G., et al.: From relational verification to SIMD loop synthesis. ACM SIGPLAN Notices 48(8), 123–134 (2013)