https://123dok.net/document/yd78l8p6-use-metods-algebraic-programming-formal-verification-legal-acts.html