2 works on record
E-Voting and Identity
Data structures and amortized complexity in a functional setting