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 April 4, 2026. https://cip.vast.vn/jcc/article/view/8272.