@phdthesis{Wist2012,
  author      = {Dominic Wist},
  title       = {Attacking complexity in logic synthesis of asynchronous circuits},
  type        = {doctoralthesis},
  school      = {Universit{\"a}t Potsdam},
  year        = {2012},
}