Bitte dem Link Korrektheit (Informatik) folgen, der sich auch im betreffenden Abschnitt des Artikels befindet. Das kannst Du auch in jedem Informatiklehrbuch unter dem Stichworten Korrektheit von Hardware und Software nachlesen. Da sich die genannten Kriterien direkt und für jeden Fachmann nachvollziehbar daraus ergeben, hat das mit Theoriefindung nichts zu tun. Wenn Du eine populärwissenschaftliche (aber leider unvollständige) Darstellung möchtest, kannst Du zum Beispiel mal die diversen Wahlmaschinenartikel lesen, die in diversen c't-Ausgaben ca. der letzten zwei Jahre erschienen sind, da ist das meiste davon drinnen. Nur ist das wiederum keine wissenschaftlich brauchbare Quellenangabe, die Artikel sind voller sachlicher Fehler bzw. Fehlen wichtiger Faktoren.Ich kann zwar den Wunsch nach besseren Quellenangaben sehr gut verstehen, aber da es sich hier um ein aktuelles Thema handelt (ich habe den Artikel erst vor noch nicht mal zwei Jahren angelegt, das meiste vom Inhalt ist noch neuer) und ich auch besseres zu tun habe, als ständig nachzusehen, ob schon irgendjemand die von mir aufgelisteten Selbstverständlichkeiten mittlerweile offiziell "publiziert" hat, kenne ich leider noch keine "Standardliteratur".