Just, J. R. (1982). Definition of global properties of distributed computer systems by the analysis of system components method. Acta Cybernetica, 5(4), 481-488. Retrieved from https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3234