Overview

Masters thesis version of the buselfs-paper project.