@InProceedings{DV:99,  
   author =    "Axel Dold and Vincent Vialard",
   title  =    "Formal Verification of a Compiler Back-end Generic Checker Program",
   series =    "Lecture Notes in Computer Science",
   number =    "",
   pages  =    "",
   booktitle = "Proc. of the Andrei Ershov Third International Conference 
                Perspectives of System Informatics (PSI'99)" 
   year   =    1999,
   publisher = "Springer-Verlag"
 }