Just, J.R. 1982. Definition of global properties of distributed computer systems by the analysis of system components method. Acta Cybernetica. 5, 4 (Jan. 1982), 481–488.