1. Allam, D., Grall, H., & Royer, J.-C. (2013). From object-oriented programming to service-oriented computing: how to improve interoperability by preserving subtyping. In WEBIST 2013-9th international conference on web information systems and technologies (pp. 169–173). SciTePress Digital Library.
2. Andrikopoulos, V., Benbernou, S., & Papazoglou, M. P. (2012). On the evolution of services. IEEE Transactions on Software Engineering, 38(3), 609–628.
3. Apache. (2011). Apache Thrift. https://thrift.apache.org/.
4. Barrett, C., Fontaine, P., & Tinelli, C. (2010). . The SMT-LIB standard—version, 2, 5.
5. Bodirsky, M. (2012). Complexity classification in infinite-domain constraint satisfaction. CoRR, arXiv:1201.0856.