@TechReport{Wolf99b,
  Author        = {Andreas Wolf},
  Institution   = {CAU Kiel},
  Month         = feb,
  Number        = {Verifix/CAU/6.2},
  Title         = {{The Adequacy of a Loop's Definition}},
  Type          = {Technical Report},
  Year          = {1999},
  file          = {awo-loop}
}