1. Andrés, C., Molinero, C., Núñez, M.: A formal methodology to specify hierarchical agent-based systems. In: 4th Int. Conf. on Signal-Image Technology & Internet-based Systems, SITIS 2008, pp. 169–176. IEEE Computer Society Press, Los Alamitos (2008)
2. Lomazova, I.: Communities of interacting automata for modelling distributed systems with dynamic structure. Fundamenta Informaticae 60(1-4), 225–235 (2004)
3. Lecture Notes in Computer Science;I.A. Lomazova,2008
4. Núñez, M., Rodríguez, I.: PAMR: A process algebra for the management of resources in concurrent systems. In: 21st IFIP WG 6.1 Int. Conf. on Formal Techniques for Networked and Distributed Systems, FORTE 2001, pp. 169–185. Kluwer Academic Publishers, Dordrecht (2001)
5. Núñez, M., Rodríguez, I., Rubio, F.: Formal specification of multi-agent e-barter systems. Science of Computer Programming 57(2), 187–216 (2005)