Electronic Australian Elections: Verifiability of Accuracy is a Design Goal, which Must be Mandated by Law and Deliberately Designed into Electronic Electoral Processes. - Teague, Vanessa; Keyzer, Patrick (Law in Context, 2020)