@TechReport{	  brucker.ea:hol-testgen:2010,
  author	= {Achim D. Brucker and Lukas Br{\"u}gger and Matthias P.
		  Krieger and Burkhart Wolff},
  institution	= {ETH Zurich},
  language	= {USenglish},
  month		= {April},
  number	= 670,
  pdf		= {papers/2010/HOL-TestGen_UserGuide.pdf},
  title		= {{HOL-TestGen} 1.5.0 User Guide},
  url		= {ftp://ftp.inf.ethz.ch/pub/publications/tech-reports/6xx/670.pdf
		  },
  year		= 2010,
  user		= {lukasbru}
}