@Techreport{ZG:97, 
  author = 	 {W. Zimmermann and T. Gaul},
  title = 	 "{An Abstract State Machine for Java Byte Code}",  
  institution =  "University of Karlsruhe",
  type = 	 {Verifix Working Paper},
  number = 	 "[Verifix/UKA/12]", 
  Year          = 1997,
}