Hung, Dang Van. “Labelled Transition System Approach to Distributed Computing Systems”. <i>Journal of Computer Science and Cybernetics</i> 8, no. 3 (April 28, 2016): 19–32. Accessed November 4, 2025. https://jcc.vast.vn/jcc/article/view/8272.