V. B. Kudrâvcev, “On the supplement of sets in functional systems”, Acta Cybern, vol. 8, no. 1, pp. 11-26, Jan. 1987.