Hung, D. V. (2016) “Labelled transition system approach to distributed computing systems”, Journal of Computer Science and Cybernetics, 8(3), p. 19–32. doi: 10.15625/1813-9663/8/3/8272.