Hung, Dang Van. “Labelled Transition System Approach to Distributed Computing Systems”. Journal of Computer Science and Cybernetics 8, no. 3 (April 28, 2016): 19–32. Accessed May 6, 2024. https://vjs.ac.vn/index.php/jcc/article/view/8272.