Hung, D. V. “Labelled Transition System Approach to Distributed Computing Systems”. Journal of Computer Science and Cybernetics, vol. 8, no. 3, Apr. 2016, p. 19-32, doi:10.15625/1813-9663/8/3/8272.