@TechReport{faultvote07,
  author = 	"Martin Elsman",
  title = 	"Fault-Tolerant Voting in a Simply-Typed Lambda Calculus",
  institution = "IT University of Copenhagen",
  year = 	"2007",
  month =       "June",
  type = 	"Technical Report",
  number = 	"ITU-TR-2007-99",
  address = 	"Rued Langgaards Vej 7, DK-2300 Copenhagen S, Denmark"
}