формализовавший

прич.

.. що формалізував