Elsevier
M.H. ter Beek (Maurice) , F. Gadducci (Fabio)
Electronic Notes in Theoretical Computer Science
Workshop on Views on Designing Complex Architectures
Specification and Analysis of Embedded Systems

Mauw, S, Verschuren, J.H.S, & de Vink, E.P. (2007). Data Anonymity in the FOO Voting Scheme. In M.H ter Beek & F Gadducci (Eds.), Electronic Notes in Theoretical Computer Science (Vol. 168, pp. 5–28). Elsevier.