M. Syzdykov, «Operational Calculus of Modified Subset Construction», atcs, т. 1, вып. 3, сс. 4–8, сен. 2023.