1. Behavioural Programming;Harel;Communications of the Association for Computing Machinery,2012
2. The SCEL Language: Design, Implementation, Verification
3. Martí-Oliet, N. , Meseguer, J. and Verdejo, A. 2009. A rewriting semantics for Maude strategies. In Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications (WRLA 2008), Rosu, G. , Ed. Electronic Notes in Theoretical Computer Science, vol. 238. Elsevier, Budapest, Hungary, 227–247.
4. Wells, G. 2005. New issues on coordination and adaptation techniques. In Proceedings of the Second International Workshop on Coordination and Adaptation Techniques for Software Entities WCAT’05, 25 Jul. 2005, Becker, S. , Canal, C. , Murillo, J. M. , Poizat, P. and Tivoli, M. , Eds. Glasgow, Scotland, 87–89. Held in conjunction with ECOOP 2005, Technical Report TR ITI-05-07, Dpto. de Lenguajes y Ciencias de la Computación, Universidad de Málaga. URL: https://www.cs.cmu.edu/jcmoreno/files/WCAT05Proceedings.pdf [Accessed on September 26, 2019].
5. Huth, M. , Jagadeesan, R. and Schmidt, D. 2001. Modal transition systems: A foundation for three-valued program analysis. In Programming Languages and Systems: 10th European Symposium on Programming, ESOP 2001, Sands, D. , Ed. Lecture Notes in Computer Science, vol. 2028. Springer, Genova, Italy, 155–169.