Just J. R.: Definition of global properties of distributed computer systems by the analysis of system components method. In: Acta cybernetica, (5) 4. pp. 481-488. (1982)