@TechReport{verisoft2005,
  author = 	 {Bernhard Beckert and Gerd Beuster},
  title = 	 {Email Client Verification Goals},
  institution =  {Verisoft Project},
  number = 	 {\#46},
  year = {2005}
}