This page has moved to https://maximromanov.github.io/notes/dissertation-online/.