https://123dok.net/document/zwvo61vg-an-algebraic-approach-for-plc-programs-verification.html