Hưng, Đặng V. “Một Mô hình để biểu diễn hành Vi Và phân tích các hệ thống phân tán”. Journal of Computer Science and Cybernetics, vol. 7, no. 2, Apr. 2016, p. 15-23, doi:10.15625/1813-9663/7/2/8284.