Vieira, R., Moreira, A., Wooldridge, M., & Bordini, R. H. (2007). On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language. Journal of Artificial Intelligence Research, 29, 221-267