Formal approach structure algebra communic. by Liu