Shchigal SE, Soloviev VI. Typed Canonical Pattern Dictionary for Static Comparison of Structured Text PLC Programs. УК [Internet]. 2026Sep.30 [cited 2026Oct.6];7(3):133-8. Available from: https://en.jcyb.ru/nisii_tech/article/view/539