Logic representation of processes in work activity coordination · Study