@book{Jansen1995,
  author    = {Wolfgang Jansen},
  title     = {CANDYS/QA : algorithms, programs and user's manual},
  volume    = {27},
  year      = {1995},
}