Yann Boehler wrote the following thesis: