Gavrilov M. A.: Certain operations with the sets of discrete states. In: Acta cybernetica, (4) 1. pp. 25-35. (1978)