@TechReport{	  Petersen97tr,
  author	= "Holger Petersen",
  title		= "A Census Technique for Simple Computing Devices",
  type		= "Technical Report",
  number	= "1997/07",
  institution	= "Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik",
  year		= "1997"
}