@Book{BKWW08,
  Author         = {Armin Biere and Daniel Kroening and Georg Weissenbacher and Christoph M. Wintersteiger},
  Title          = {Digitaltechnik - eine praxisnahe {Einf\"uhrung}},
  Publisher      = {Springer Verlag Berlin Heidelberg},
  pages          = {131},
  year           = 2008
}