PhD thesis: Matthijs Berghuis