Orientações para formalização