@InProceedings{Pavlenko:FDL2008-,
  author =       "Evgeny Pavlenko and Markus Wedler and Dominik Stoffel
                 and Oliver Wienand and Evgenij Karibaev and Wolfgang
                 Kunz",
  title =        "Modeling of Custom-Designed Arithmetic Components in
                 {ABL} Normalization",
  booktitle =    "Forum on Specification \& Design Languages
                 (FDL 2008)",
  year =         "2008",
  address =      "Stuttgart, Germany",
  month =        sep,
}