@InProceedings{Goerigk+96,
  Author        = {Wolfgang Goerigk and Axel Dold and Thilo Gaul and
                  Gerhard Goos and Andreas Heberle and {Friedrich
                  W. von} Henke and Ulrich Hoffmann and Hans Langmaack
                  and Holger Pfeifer and Harald Ruess and Wolf Zimmermann},
  Title         = {{C}ompiler {C}orrectness and {I}mplementation
                  {V}erification: {T}he {{\em {V}erifix}} {A}pproach}, 
  Editor        = {P. Fritzson},
  Address       = {IDA Technical Report LiTH-IDA-R-96-12, Link{\o}ping, Sweden},
  BookTitle     = {Proceedings of the Poster Session of CC '96 --
                   International Conference on Compiler Construction},
  Pages         = {65 -- 73},
  Year          = 1996
}