Formulación de casos y diseño de tratamientos cognitivo-conductuales: un enfoque basado en problemas