@TechReport{verisoft2004,
  author = 	 {Bernhard Beckert and Gerd Beuster and Pia Breuer},
  title = 	 {Email Client Specification},
  institution =  {Verisoft Project},
  number = 	 {\#6},
  year = {2004}
}