Christensen, S. “A Logical Characterization of Asynchronously Communicating Agents”. DAIMI Report Series, vol. 19, no. 309, Apr. 1990, doi:10.7146/dpb.v19i309.6700.