1. van Riemsdijk, M., de Boer, F., Dastani, M., Meyer, J.-J. Ch.: Prototyping 3apl in the maude term rewriting language. In: Proceedings of the seventh International Workshop on Computational Logic in Multi-Agent Systems (CLIMA 2006), LNAI, vol. 4371. Springer (2007)
2. Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C.: Maude manual (version 2.4) (2009)
3. Aştefănoaei, L., de Boer, F.S.: Model-checking agent refinement. In: Proceedings of the seventh international joint conference on autonomous agents and multiagent systems (AAMAS’08), pp. 705–712 (2008)
4. Farwer, B., Dennis, L.: Translating into an intermediate agent layer: A prototype in Maude. In: Proceedings of Concurrency, Specification, and Programming (CS&P’07), pp. 168–179 (2007)
5. Verdejo, A., Martí-Oliet, N.: Executable structural operational semantics in Maude. Tech. rep., Universidad Complutense de Madrid, Madrid (2003)