B. Claudel, Q. Sabah, и J. Stefani. Formal Techniques for Distributed Objects, Components, and Systems, том 9039 из Lecture Notes in Computer Science, Springer, (2015)
J. De Koster, S. Marr, T. D'Hondt, и T. Van Cutsem. Proceedings of AGERE! 2013, 3rd International Workshop on Programming based on Actors, Agents, and Decentralized Control, стр. 61--68. (27.10.2013)