program formulation Synonym