manta/doc/thesis.pdf