Renata Vieira Álvaro F. Moreira Michael Wooldridge Rafael H. Bordini On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language. 221-267 2007 29 J. Artif. Intell. Res. (JAIR) http://www.jair.org/papers/paper2221.html db/journals/jair/jair29.html#VieiraMWB07