@book{bkww2008,
  title = "Digitaltechnik",
  author = "Biere, Armin and Kroening, Daniel and Weissenbacher, Georg and Wintersteiger, Christoph",
  year = "2008",
  month = "March",
  publisher = "Springer",
  url = "http://www.digitaltechnik.org",
}