Just, J. R. 1982. “Definition of Global Properties of Distributed Computer Systems by the Analysis of System Components Method”. Acta Cybernetica 5 (4), 481-88. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3234.