J. R. Just, “Definition of global properties of distributed computer systems by the analysis of system components method”, Acta Cybern, vol. 5, no. 4, pp. 481-488, Jan. 1982.