@TechReport{Verifix96:MIS1,
  author = 	 {T.S. Gaul and A. Heberle and D. Heuzeroth and W. Zimmermann},
  title = 	 "An {ASM} {S}pecification of the
		  {O}perational {S}emantics of {MIS}",
  institution =  "University of Karlsruhe",
  type = 	 {Verifix Working Paper},
  number = 	 "[Verifix/UKA/3]",
  Year          = 1995,
  note          = "revised"
}