Elezioni come procedura. Forma, osservazione e automatizzazione del voto