@InProceedings{HeberleLoewe:98,
  author = 	 "Andreas Heberle and Welf L{\"o}we",
  title = 	 "{On ASM-Based Specification of Programming Language 
                   Semantics and Reusable Correct Compilations}",
  editor = 	 "Uwe Gl{\"a}sser and Peter H. Schmitt",
  pages = 	 "68--90",
  booktitle =    "{Proceedings of the 5th International Workshop on
		   Abstract State Machines}",
  year = 	 "1998",
}