Definition of "formalization"

formalization