K. I. Belousov, L. A. Nazarova, and A. V. Roiter, “Finitely represented dyadic sets and their multielementary representations”, Ukr. Mat. Zhurn., vol. 49, no. 11, pp. 1465–1477, Nov. 1997.