Use of metods of algebraic programming for the formal verification of legal acts - V. Peschanenko; M. Poltorackiy (Problems in programming, 2018)