The elaboration of my master's thesis. The latest build is available here.