PhD thesis: Dick van Dam