@InProceedings{Gaul+96, 
  Author        = {Th. Gaul and G. Goos and  A. Heberle and
                   W. Zimmermann and W. Goerigk},
  Title         = {{An Architecture for Verified Compiler Construction}},  
  Address       = {Linz, Austria},
  BookTitle     = {{J}oint {M}odular {L}anguages
		   {C}onference JMLC'97},
  Month         = mar,
  Year          = 1997
}