Hola, en la parte a del ejercicio 1 pide hacer una especificacion procedural, no entiendo bien que significa esto pero por la solucion parece ser que pide hacer las 3 funciones que piden como si fueran "procedure", es decir, como si fueran void en C. Me parece incorrecto realizar dichas funciones de esta manera, ya que por ejemplo la primera es UrnaVacia y tendria que crear una urna vacia pasandola como parametro. En CantVotos dice que se le pasa como parametro un candidato y una urna, pero en la solucion al ser un procedure tambien le pasa otro parametro mas donde guarda la cantidad de votos. Me parece que realizando funciones que devuelvan lo que piden seria lo correcto. Saludos