Shchigal S.E., Soloviev V.I. Typed Canonical Pattern Dictionary for Static Comparison of Structured Text PLC Programs // Russian Journal of Cybernetics. 2026. Vol. 7, № 3. P. 133-138.