@TechReport{Vialard99a,
  author = "Vincent Vialard",
  title = "{Local Verification of Parameterized Compilation Rules in a Limited Resource Environment}",
  institution   = "Universit{\"a}t Ulm, Fakult{\"a}t f{\"u}r Informatik",
  year          = "1999",
  Type          = {{\it Verifix}\/-Arbeitsbericht},
  Number        = {[Verifix/Ulm/22.1]},
}