«О разделимости входо-выходных полуавтоматов с недетерминированным поведением » (2020) Электронные библиотеки. Kazan, 23(4), сс. 634-655. doi: 10.26907/1562-5419-2020-23-4-634-655.