@Unpublished{DoldVialard99,
  author =       "Axel Dold and Vincent Vialard",
  title =        "{Formal Verification of a Compiler Backend Generic Checker Program}",
  year =         "1999",
  note =         "submitted to PSI99",
}