@TechReport{Dold99c,
  Author        = {Axel Dold},
  Title         = "{Formalization of ComLisp and SIL}",
  Type          = {{\it Verifix}\/-Arbeitsbericht},
  Institution   = {Uni Ulm},
  Number        = {Verifix/Uni Ulm/19.1},
  Year          = {1999},
  Month         = jan,
}