@book{bkww2008,
  author = "Biere, Armin and Kroening, Daniel and Weissenbacher, Georg and Wintersteiger, Christoph",
  month = "March",
  publisher = "Springer",
  title = "Digitaltechnik",
  year = "2008",
}